disobedience more robust against server restart

[disorder] / server / deadlock.c

diff --git a/server/deadlock.c b/server/deadlock.c
index aa29b419e89d115458dbebf3f386cf7159dac175..5fd745d9a223e174db5e3279e7587408d76e9ff5 100644 (file)
--- a/server/deadlock.c
+++ b/server/deadlock.c
@@ -121,4 +121,3 @@ fill-column:79
 indent-tabs-mode:nil
 End:
 */
-/* arch-tag:8VzpRqqo2qifzXWK1GxF5A */