| commit | 838bcb82ed8d7358aa35a7fb26cb98c82ba4b6c8 | [log] [tgz] |
|---|---|---|
| author | gio <gio@v1.dodo.cloud> | Thu May 15 19:39:04 2025 +0400 |
| committer | gio <gio@v1.dodo.cloud> | Thu May 15 19:39:04 2025 +0400 |
| tree | b69f3f31581fe08727376c5214fb5720ba3f52fc | |
| parent | 451d40de49ab60f492e797d835934541f6fcba86 [diff] [blame] |
AppManager: Handle new port forwards during app update Change-Id: I72a4c5b7ec4bd5ba6ddd32cd3f33dce023d7d9ea
diff --git a/core/installer/schema.go b/core/installer/schema.go index fb5d305..c7f7196 100644 --- a/core/installer/schema.go +++ b/core/installer/schema.go
@@ -383,7 +383,7 @@ // TODO(gio): handle numbers return nil, fmt.Errorf("implement: %s", v) case cue.IntKind: - if d, ok := v.Default(); ok { + if d, ok := v.Default(); ok || d.IsConcrete() { return d.Int64() } case cue.ListKind: