mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-04 07:31:15 +00:00
[wmlunits] change the process names of wmlunits to 'wmlunits'...
...so it can be killed more easily
This commit is contained in:
parent
dceeede51b
commit
aaf2850371
@ -942,6 +942,15 @@ def output(isocode):
|
||||
return stuff
|
||||
|
||||
if __name__ == '__main__':
|
||||
|
||||
# We change the process name to "wmlunits"
|
||||
try:
|
||||
import ctypes
|
||||
libc = ctypes.CDLL("libc.so.6")
|
||||
libc.prctl(15, "wmlunits", 0, 0, 0)
|
||||
except: # oh well...
|
||||
pass
|
||||
|
||||
global options
|
||||
global image_collector
|
||||
import optparse
|
||||
|
Loading…
x
Reference in New Issue
Block a user