#219 properly close out GUI on error on pocket and coordinator

This commit is contained in:
Mikayla
2023-04-21 18:53:28 +00:00
parent 706fb5ea74
commit e1da8b59d3
12 changed files with 89 additions and 112 deletions

View File

@@ -17,7 +17,7 @@ local coreio = require("pocket.coreio")
local pocket = require("pocket.pocket")
local renderer = require("pocket.renderer")
local POCKET_VERSION = "alpha-v0.2.4"
local POCKET_VERSION = "alpha-v0.2.5"
local println = util.println
local println_ts = util.println_ts