David 08c0fdd180 add restart on failure 10 anni fa
..
pmanager.py 17ade07068 add timeout 10 anni fa
pmanager.service 08c0fdd180 add restart on failure 10 anni fa
rpi.json a2e3516f4d oneshot +options 10 anni fa
server.json 155e02036e tabulate 10 anni fa