Jakob Borg
|
33e9a88b56
|
Proper signal handling in monitor process
|
2014-09-04 23:31:22 +02:00 |
|
Jakob Borg
|
dd3080e018
|
Copyright cleanup
|
2014-09-04 08:31:38 +02:00 |
|
Jakob Borg
|
10f0713257
|
Use a monitor process to handle panics and restarts (fixes #586)
|
2014-09-02 13:24:41 +02:00 |
|