lib 1014685 // websocket

import org.java_websocket.client.WebSocketClient;
import org.java_websocket.handshake.ServerHandshake;

static void webSocketOnMessage(S url, final VF1<S> onMessage) {
  WebSocketClient client = new WebSocketClient(new URI(url)) {
    public void onMessage(S s) {
      if (!licensed()) ret with close(); // program exit
      s = dropTrailingNullChars(s);
      pcallF(onMessage);
    }

    public void onOpen(ServerHandshake handshake) {}
    public void onClose(int code, S reason, bool remote) {}
    public void onError(Exception e) { printStackTrace(e); }
  };
  
  client.connect();
}