From c43fb7a7e795b3aa24ced6a01e2a62c0de205c93 Mon Sep 17 00:00:00 2001 From: hzzz Date: Wed, 11 Jul 2018 19:35:05 +0800 Subject: [PATCH] . --- .../com/fr/design/mainframe/socketio/DesignerSocketIO.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/designer-realize/src/main/java/com/fr/design/mainframe/socketio/DesignerSocketIO.java b/designer-realize/src/main/java/com/fr/design/mainframe/socketio/DesignerSocketIO.java index 1e5305300..a44bdf8b2 100644 --- a/designer-realize/src/main/java/com/fr/design/mainframe/socketio/DesignerSocketIO.java +++ b/designer-realize/src/main/java/com/fr/design/mainframe/socketio/DesignerSocketIO.java @@ -63,7 +63,8 @@ public class DesignerSocketIO { private static String getSocketUri(Workspace current) throws IOException { URL url = new URL(current.getPath()); int port = WorkContext.getCurrent().get(SocketInfoOperator.class).getPort(); - return String.format("http://%s:%s%s?%s=%s", + return String.format("%s://%s:%s%s?%s=%s", + url.getProtocol(), url.getHost(), port, WorkspaceConstants.WS_NAMESPACE,