Benutzer-Werkzeuge

Webseiten-Werkzeuge


software:middleware:push-server

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
software:middleware:push-server [2018/04/01 15:10]
jau PR 688
software:middleware:push-server [2018/04/03 13:21] (aktuell)
jau PR688
Zeile 29: Zeile 29:
  
 Gestartet wird der PS an der Konsole mit: Gestartet wird der PS an der Konsole mit:
-<​code>​php /​var/​www/​volkszaehler.org/​bin/​push-server.php</​code>​+<​code>​php /​var/​www/​volkszaehler.org/​bin/​push-server</​code>​
 Es ist aber besser stattdessen einen vollwertigen Hintergrunddienst (z.B. über Systemd) einzurichten. Es ist aber besser stattdessen einen vollwertigen Hintergrunddienst (z.B. über Systemd) einzurichten.
  
Zeile 43: Zeile 43:
  
 [Service] [Service]
-ExecStart=/​usr/​bin/​php /​var/​www/​volkszaehler.org/​bin/​push-server.php+ExecStart=/​usr/​bin/​php /​var/​www/​volkszaehler.org/​bin/​push-server
 ExecReload=/​bin/​kill -HUP $MAINPID ExecReload=/​bin/​kill -HUP $MAINPID
 StandardOutput=null StandardOutput=null
software/middleware/push-server.txt · Zuletzt geändert: 2018/04/03 13:21 von jau