Catch SIGINT between tile builds
Signed-off-by: fly <merspieler@airmail.cc>
This commit is contained in:
parent
f2ba15a3d2
commit
9e6693087e
1 changed files with 61 additions and 61 deletions
|
@ -97,6 +97,7 @@ def cleanup():
|
||||||
run("rm -rf projects/worldbuild-" + name, shell=True)
|
run("rm -rf projects/worldbuild-" + name, shell=True)
|
||||||
|
|
||||||
|
|
||||||
|
try:
|
||||||
running = True
|
running = True
|
||||||
while running:
|
while running:
|
||||||
if api != None:
|
if api != None:
|
||||||
|
@ -104,7 +105,6 @@ while running:
|
||||||
else:
|
else:
|
||||||
name = get_job(action, host, port)
|
name = get_job(action, host, port)
|
||||||
|
|
||||||
try:
|
|
||||||
run("mkdir -p projects/worldbuild-" + name, shell=True)
|
run("mkdir -p projects/worldbuild-" + name, shell=True)
|
||||||
|
|
||||||
run("cp projects/worldbuild/params.ini projects/worldbuild-" + name + "/", shell=True)
|
run("cp projects/worldbuild/params.ini projects/worldbuild-" + name + "/", shell=True)
|
||||||
|
|
Loading…
Reference in a new issue