Anders Ingemann b067ada15e Introduce some awesome signal handling ... We can now press Ctrl+C remotely while any subprocess of the bootstrapping process is running, previously SIGINTs weren't propagated to the bootstrapping process because there was a thread in between it all. Now the bootstrapping process is in it's own process group.		2015-04-16 22:21:45 +02:00
..
__init__.py	Move build servers into separate module	2015-04-16 22:21:45 +02:00
build-servers-schema.yml	Move build servers into separate module	2015-04-16 22:21:45 +02:00
build_server.py	Move build servers into separate module	2015-04-16 22:21:45 +02:00
callback.py	Introduce some awesome signal handling	2015-04-16 22:21:45 +02:00
local.py	Introduce some awesome signal handling	2015-04-16 22:21:45 +02:00
remote.py	Introduce some awesome signal handling	2015-04-16 22:21:45 +02:00