webmcp
diff .hgtags @ 487:91d0c8304d74
Do not execute abortable command if termination has already been requested
author | jbe |
---|---|
date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) |
parents | d68098219642 |
children | bde63bbbf24a |
line diff
author | jbe |
---|---|
date | Mon Jun 12 03:18:54 2017 +0200 (2017-06-12) |
parents | d68098219642 |
children | bde63bbbf24a |