Commit Graph

10 Commits

Author SHA1 Message Date
Per Qvarforth 7164f0edad support for websocket external port 2022-02-02 22:16:42 +01:00
Peter Buchegger 37d0cd1628 master thread should also do some work 2022-02-02 21:40:49 +01:00
Peter Buchegger b9d2177468 run processes forever 2022-02-02 16:35:03 +01:00
Peter Buchegger c4858e712f add newline 2022-02-02 16:34:44 +01:00
Peter Buchegger 4897dfe091 run socketserver forever 2022-02-02 16:34:22 +01:00
Peter Buchegger b1f17027d5 add logging to stdout 2022-02-02 15:27:22 +01:00
Per Qvarforth e01254df21 improved configuration 2022-01-30 16:47:48 +01:00
Per Qvarforth 7f96655779 modified comment formatter 2022-01-30 13:37:51 +01:00
Per Qvarforth 9658ebdb48 reintroduced support for coverage maps 2022-01-30 13:33:56 +01:00
Per Qvarforth 00110faf86 initial commit 2022-01-22 18:15:39 +01:00