message: Bugfix: Send only base url to socketio.
diff: @@ -79,9 +79,16 @@ export class DocumentService implements api.IDocumentService {
  private gitManager: GitManager) {
  debug(`Creating document service ${performanceNow()}`);
  - this.socket = url.startsWith("https://") ?
  - io(url, { path: "/alfred/socket.io", transports: ["websocket"] }) :
  - io(url, { transports: ["websocket"] });
  +
  + if (url.startsWith("https://")) {
  + const parts = url.split("/");
  + parts.pop();
  + const baseUrl = parts.join("/");
  + this.socket = io(baseUrl, { path: "/alfred/socket.io", transports: ["websocket"] });
  + } else {
  + this.socket = io(url, { transports: ["websocket"] });
  + }
  +
  }
  public async connect(
  