diff options
Diffstat (limited to 'app/ui/runview.py')
| -rw-r--r-- | app/ui/runview.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/app/ui/runview.py b/app/ui/runview.py index 4fcaeb1..73ad315 100644 --- a/app/ui/runview.py +++ b/app/ui/runview.py @@ -193,6 +193,19 @@ class RunView(ScreenView): self.boot_hint = event.get("hint") or "" self._record_boot_failure() self._finish("error") + elif kind == "port_taken": + # The launcher moved the server to a random port (the + # configured one was taken) and the boot was killed as + # unreachable: same terminal treatment as a crash, with the + # port specifics as the message. + self.server = "error" + self.server_message = str(event.get("message") + or "the server moved itself to " + "another port") + self.log_tail = list(event.get("log_tail") or []) + self.boot_hint = event.get("hint") or "" + self._record_boot_failure() + self._finish("error") elif kind == "cancelled": self.cancelled = True if self.server in ("starting", "ready", "processing"): |