]> git.tuebingen.mpg.de Git - dss.git/commitdiff
projects / dss.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: e5a213c)
Add log message to send_signal().
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 14 Nov 2017 02:39:30 +0000 (03:39 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 14 Nov 2017 03:26:37 +0000 (04:26 +0100)
Sending a signal is a significant event which deserves a log message.


No differences found
DSS - dyadic snapshot scheduler