Jakob Borg
|
2117d1d035
|
Tone down insignificant discovery error messages (ref #241)
|
2014-09-08 09:14:21 +02:00 |
|
Jakob Borg
|
84eb729bd4
|
Don't start the browser on restarts (fixes #636)
|
2014-09-06 07:35:30 +02:00 |
|
Jakob Borg
|
14aea365c5
|
Don't stop permanently on exit (fixes #637)
|
2014-09-06 07:28:57 +02:00 |
|
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 |
|