2014-03-16 21:16 GMT+00:00 Sima Baymani <[email protected]>:
> On xfce4-terminal, the call to kill the git cat-file process is not 
> sufficient:
> the process does not exit and the caller is not returned to the prompt.
>
> Adding a call to close stdin makes the process exit cleanly.
>
> +            p.stdin.close()
>              os.kill(p.pid(), signal.SIGTERM)
>              p.wait()

Note this looks like very much like creating a race condition: p will
be interrupted at a random point in time while trying to deal with the
closure. It could be harmless - sorry don't know enough to tell.

_______________________________________________
stgit-users mailing list
[email protected]
https://mail.gna.org/listinfo/stgit-users

Reply via email to