<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_q7m5jcitqpms20ko18tg6csofh, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass HSlider {
  S id = aGlobalID(), name, label;
  double min, max, value;
  bool useWebSocket = true;

  bool requiresWebsocket() { true; }

  S html() {
    ret tag input("", type := "range", +id, +name, +min, +max, +value,
      onchange := !useWebSocket ? null : hjs_escapedDollarVars("if (typeof wsSend !== 'undefined') wsSend(JSON.stringify({sliderValue: {id: $id, value: this.value}))", +id))
      + " " + hlabelFor(id, label);
  }
  
  void onWebSocketJSON(Map map) {
    Map map2 = optCast Map(map.get("sliderValue")), ret if null;
    S id = cast map2.get("id");
    Number value = cast map2.get("value");
    value = toDouble(value);
  }
}