Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Vanessa 2025-05-26 16:45:52 +08:00
commit 656f094c44

View file

@ -687,6 +687,7 @@ func Close(force, setCurrentWorkspace bool, execInstallPkg int) (exitCode int) {
time.Sleep(500 * time.Millisecond)
logging.LogInfof("exited kernel")
util.WebSocketServer.Close()
util.HttpServing = false
os.Exit(logging.ExitCodeOk)
}()
return