-
Matthias Clasen authored
The shell name watch_id may still be 0 when we shut down right away, because another instance is already running.
c16d6d46
The shell name watch_id may still be 0 when we shut down right away, because another instance is already running.