24                 init.call(widget);

    24                 init.call(widget);

    25             } catch(err) {

    25             } catch(err) {

    26                 console.log(err);

    26                 console.log(err);

    27             }

    27             }

    28         }

    28         }

    29     });

    31     });

    30 };

    32 };

    31 

    33 

    32 // Open WebSocket to relative "/ws" address

    34 // Open WebSocket to relative "/ws" address

    33 var has_watchdog = window.location.hash == "#watchdog";

    35 var has_watchdog = window.location.hash == "#watchdog";