diff options
author | Sascha Silbe <sascha@silbe.org> | 2009-09-23 15:26:34 (GMT) |
---|---|---|
committer | Sascha Silbe <sascha@silbe.org> | 2009-09-30 14:23:01 (GMT) |
commit | da66098a4d50df862deca7ad10f0f865c6bc5b9b (patch) | |
tree | afd9729089f4a6075e29636def7922e89e010811 | |
parent | 183f2dd0f035f7c5b88b1f8a5bc3f0441394a9b7 (diff) |
sugar-emulator: fix _kill_pipe()emu-vnc
-rw-r--r-- | bin/sugar-emulator | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sugar-emulator b/bin/sugar-emulator index 1b179a4..dbc6956 100644 --- a/bin/sugar-emulator +++ b/bin/sugar-emulator @@ -67,7 +67,7 @@ def _check_server(display): def _kill_pipe(pipe): try: - os.kill(pipe.pid) + os.kill(pipe.pid, signal.SIGTERM) except OSError: pass |