| do_shutdown | 1548 | 2018-07-01 16:38:52 +0200 | |
| hardshutdown.c | 3337 | 2023-01-03 15:15:41 +0100 | |
| hardshutdown.make.sh | 151 | 2018-07-01 16:38:52 +0200 | |
| shutdown | 2090 | 2018-07-01 16:38:52 +0200 | |
| stop_storage | 2068 | 2019-06-10 11:53:46 +0200 | |
| stop_tasks | 1902 | 2018-07-01 16:38:52 +0200 |