darcs

Issue 1587 Unable to Ctrl-Break Darcs on Windows

Title Unable to Ctrl-Break Darcs on Windows
Priority bug Status given-up
Milestone Resolved in
Superseder Nosy List WorldMaker, darcs-devel, dmitry.kurochkin, edwardk, eivuokko, jaredj, kirby, kowey, wglozer
Assigned To
Topics Control-C, Windows

Created on 2009-08-29.21:06:11 by edwardk, last changed 2017-07-30.23:35:43 by gh.

Messages
msg8586 (view) Author: edwardk Date: 2009-08-29.21:06:06
When using darcs on windows, I create a dos shell.

Then when I go to run some operation, say, a push to a non-responsive server, 
darcs sits and spins indefinitely. However, I cannot seem to hit ctrl-c to break 
out of this loop, so the only option left to me is to close the window and lose 
where I am, leak the _lock file, lose my history, etc.
msg8587 (view) Author: edwardk Date: 2009-08-29.22:01:22
dos shell via cmd.exe
darcs version 2.2.0
msg8590 (view) Author: kowey Date: 2009-08-30.08:09:14
Hi Edward! (You're not at the ICFP, I suppose?)

Is it just on darcs push that this happens?  You said generically 'some
operation' giving push as example, but I just wanted to double check that it
really was just an example because there is issue1502 which looks related.
msg8608 (view) Author: edwardk Date: 2009-08-30.20:37:56
Heya Eric. Alas, I'm still back here in Boston having spent my personal budget 
for conference travel for the year. ;)

The particular case when it happened to me was actually, a push, yes.

Apparently I can Ctrl-Break out of every other activity, now that I'm 
investigating it in more detail.

As a side-note, it never seems to come back from the attempted ssh-based push, 
even though the server can be talked to fine from a linux VM from the same 
machine over the same network and is responsive otherwise.

I'm just using the darcs windows binaries available from darcs.net.
msg8609 (view) Author: WorldMaker Date: 2009-08-30.20:41:34
Edward Kmett wrote:
> As a side-note, it never seems to come back from the attempted ssh-based push, 
> even though the server can be talked to fine from a linux VM from the same 
> machine over the same network and is responsive otherwise.
> 
> I'm just using the darcs windows binaries available from darcs.net.

Because there are so many choices: Which Windows SSH tool are you using?
msg8610 (view) Author: edwardk Date: 2009-08-30.22:29:29
2.2.0-win1 binary with SSH support files. 

^-- Whatever that refers to. It comes with some libssh -style DLLs, which I 
presume it would then use. I have no idea how Salvatore built it.
History
Date User Action Args
2009-08-29 21:06:12edwardkcreate
2009-08-29 22:01:24edwardksetnosy: kowey, wglozer, darcs-devel, eivuokko, jaredj, dmitry.kurochkin, kirby, edwardk
messages: + msg8587
2009-08-30 02:25:50twbsettopic: + Control-C
nosy: kowey, wglozer, darcs-devel, eivuokko, jaredj, dmitry.kurochkin, kirby, edwardk
2009-08-30 02:26:42twbsetnosy: kowey, wglozer, darcs-devel, eivuokko, jaredj, dmitry.kurochkin, kirby, edwardk
2009-08-30 08:09:17koweysetstatus: unknown -> waiting-for
nosy: kowey, wglozer, darcs-devel, eivuokko, jaredj, dmitry.kurochkin, kirby, edwardk
messages: + msg8590
assignedto: edwardk
2009-08-30 20:37:58edwardksetnosy: kowey, wglozer, darcs-devel, eivuokko, jaredj, dmitry.kurochkin, kirby, edwardk
messages: + msg8608
assignedto: edwardk ->
2009-08-30 20:41:36WorldMakersetnosy: + WorldMaker
messages: + msg8609
2009-08-30 22:29:31edwardksetnosy: kowey, wglozer, darcs-devel, eivuokko, WorldMaker, jaredj, dmitry.kurochkin, kirby, edwardk
messages: + msg8610
2009-10-23 22:38:55adminsetnosy: + maxbattcher, - WorldMaker
2009-10-24 00:00:17adminsetnosy: + WorldMaker, - maxbattcher
2017-07-30 23:35:43ghsetstatus: waiting-for -> given-up