diff options
| -rw-r--r-- | pym/getbinpkg.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pym/getbinpkg.py b/pym/getbinpkg.py index bb9c12e45..ef609979a 100644 --- a/pym/getbinpkg.py +++ b/pym/getbinpkg.py @@ -374,7 +374,7 @@ def file_get(baseurl,dest,conn=None,fcmd=None): except OSError: pass sys.stderr.write("!!! Failed to spawn fetcher.\n") - sys.exit(1) + os._exit(1) retval=os.waitpid(mypid,0)[1] if (retval & 0xff) == 0: retval = retval >> 8 |