| changeset 10237 | 2f7a38f336f4 |
| parent 10218 | 750b7a4f01f6 |
| child 10239 | 8e4be44a676f |
| 10236:49a8625b8cac | 10237:2f7a38f336f4 |
|---|---|
255 gid = os.getgid() |
255 gid = os.getgid() |
256 try: |
256 try: |
257 return grp.getgrgid(gid)[0] |
257 return grp.getgrgid(gid)[0] |
258 except KeyError: |
258 except KeyError: |
259 return str(gid) |
259 return str(gid) |
260 |
|
261 def spawndetached(args): |
|
262 return os.spawnvp(os.P_NOWAIT | getattr(os, 'P_DETACH', 0), |
|
263 args[0], args) |
|
264 |