fix
This commit is contained in:
parent
b6bfcc8ca1
commit
693496536d
@ -169,6 +169,7 @@
|
|||||||
</div>
|
</div>
|
||||||
|
|
||||||
<script>
|
<script>
|
||||||
|
const isBaaS = false
|
||||||
const h = document.body.clientHeight
|
const h = document.body.clientHeight
|
||||||
- $("header").css("height").replace("px", "")
|
- $("header").css("height").replace("px", "")
|
||||||
$("#main").css("height", h + "px");
|
$("#main").css("height", h + "px");
|
||||||
|
@ -314,8 +314,12 @@ function displayOutput(obj) {
|
|||||||
function initWSocket() {
|
function initWSocket() {
|
||||||
let host = $("#urlInput")[0].value;
|
let host = $("#urlInput")[0].value;
|
||||||
if (!host.startsWith("ws")) {
|
if (!host.startsWith("ws")) {
|
||||||
|
if (location.href.startsWith("https")) {
|
||||||
|
host = "wss://" + host;
|
||||||
|
} else {
|
||||||
host = "ws://" + host;
|
host = "ws://" + host;
|
||||||
}
|
}
|
||||||
|
}
|
||||||
if (host.endsWith("/SCIDE")) {
|
if (host.endsWith("/SCIDE")) {
|
||||||
host += "/SCExecutor";
|
host += "/SCExecutor";
|
||||||
} else if (host.endsWith("/SCIDE/")) {
|
} else if (host.endsWith("/SCIDE/")) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user