-
Przemyslaw Kaminski authored
This is used to save when quitting the server. Previous, debounce save, didn't work properly on exit.
bc338e72
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Main.hs | [nodeStory] add immediate saver |
This is used to save when quitting the server. Previous, debounce save, didn't work properly on exit.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Main.hs | [nodeStory] add immediate saver |