Hi,

half of the time, when darcs returns from the pager, it just stalls and
I have to kill -9 it (kill is not enough).

Steps to reproduce: just call darcs in a tty (so that it launches a
pager to display some help).

A few details:
- This is darcs from debian unstable amd64 (if you think this is a
  debian bug, I'll report there).
$ darcs --exact-version
    darcs compiled on Jan 24 2009, at 04:10:02
    # configured Thu Jan 15 14:31:24 PST 2009
    ./configure /usr/local/share/config.site /usr/local/etc/config.site

    Context:

    [TAG 2.2.0
    Petr Rockai <me@mornfall.net>**20090115150916] 
- You will find attached the output of strace for two runs of darcs, one
  successful and one not. Note the infinite loop of sched_yield() at the
  end and the few missing futex calls in the failing trace.
- Setting DARCS_PAGER to 'more' or 'less' doesn't change anything.
  Neither does using xterm instead of gnome-terminal.

Kind regards,
-- 
Gabriel Kerneis

Attachments

• darcs
• darcs-ok