diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-07-01 18:07:23 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-07-01 22:52:38 +0200 |
| commit | 9c9fb46e4a95a7020b1fefb8fb0db3aafa9b2844 (patch) | |
| tree | 645083f132195de4dcf244c9a23985e85ac1f70a /doc/super-mario-theme.md | |
| parent | 5f2bc87b2244382fdff968df9e643722fcf26a68 (diff) | |
lease-script: do not run too many instances of scripts
Every instance of the scripts does all the work. If one script is running
and a second script is waiting we do not have to start a third one.
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions