message: With no trailing path, socketio should forward to default namespace.
diff: @@ -79,21 +79,9 @@ export class DocumentService implements api.IDocumentService {
  private gitManager: GitManager) {
  debug(`Creating document service ${performanceNow()}`);
  -
  - // https connections come with a route (https://<basedomain>.com/<route>). Socketio treats the route path as
  - // a namespace. To avoid this, we send the basedomain as URL and change the path to route/socket.io so that
  - // both http and https connection can use the default path (socket.io).
  - if (url.startsWith("https://")) {
  - const parts = url.split("/");
  - const route = parts.pop();
  - const baseDomain = parts.join("/");
  - this.socket = io(baseDomain, { path: `/${route}/socket.io`, transports: ["websocket"] });
  - } else {
  this.socket = io(url, { transports: ["websocket"] });
  }
  - }
  -
  public async connect(
  id: string,
  version: resources.ICommit,
  