beremiz

SVGHMI: quick hack for demo to automatically restart browser when reloading hmi
SVGHMI_compat
2019-11-08, Edouard Tisserant
742b115f5b07
Parents 004117ff7e1a
Children 9bd5decf3c8c
SVGHMI: quick hack for demo to automatically restart browser when reloading hmi
1 files changed, 22 insertions(+), 0 deletions(-)
  • +22 -0
    svghmi/svghmi_server.py
    • --- a/svghmi/svghmi_server.py Fri Nov 08 11:35:01 2019 +0100
    +++ b/svghmi/svghmi_server.py Fri Nov 08 11:35:56 2019 +0100
    @@ -17,6 +17,11 @@
    from autobahn.websocket.protocol import WebSocketProtocol
    from autobahn.twisted.resource import WebSocketResource
    +try:
    + from runtime.spawn_subprocess import call
    +except ImportError:
    + from subprocess import call
    +
    # TODO multiclient :
    # session list lock
    # svghmi_sessions = []
    @@ -124,10 +129,27 @@
    svghmi_send_thread = Thread(target=SendThreadProc, name="SVGHMI Send")
    svghmi_send_thread.start()
    + restart_kiosk = ["/root/S60kiosk", "start"]
    +
    + try:
    + call(restart_kiosk)
    + except OSError:
    + print(_("Couldn't restart kiosk service"))
    +
    +
    +
    # Called by PLCObject at stop
    def _runtime_svghmi0_stop():
    global svghmi_listener, svghmi_root, svghmi_send_thread, svghmi_session
    +
    + restart_kiosk = ["/root/S60kiosk", "stop"]
    +
    + try:
    + call(restart_kiosk)
    + except OSError:
    + print(_("Couldn't restart kiosk service"))
    +
    if svghmi_session is not None:
    svghmi_session.close()
    svghmi_root.delEntity("ws")