- Co-Authored-By
- Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
fix(coder-lite): make --dev boot the openagents.com server robustly
Deploy story
What this commit did to the running system — joined from the forge receipt chain, the part a commit page elsewhere cannot show.
Not deployed through the forge lane
No push, promotion, build, or deploy receipt references this commit (receipts are scanned over a bounded recent window). Changes shipped by full node replacement carry their proof in the release gate receipt instead.
Changed files
-
modified
crates/coder-lite/src/main.rs
Diff
1 file changed, +27 -13
crates/coder-lite/src/main.rs modified +27 -13
@@ -14,14 +14,16 @@
| 14 | 14 |
|
| 15 | 15 |
|
| 16 | 16 |
|
| 17 |
|
|
| 17 | 18 |
|
| 19 |
|
|
| 18 | 20 |
|
| 19 | 21 |
|
| 20 | 22 |
|
| 21 | 23 |
|
| 22 | 24 |
|
| 23 | 25 |
|
| 24 |
|
|
| 26 |
|
|
| 25 | 27 |
|
| 26 | 28 |
|
| 27 | 29 |
|
@@ -32,7 +34,7 @@ coder-lite — the OpenAgents coder, in a terminal.
| 32 | 34 |
|
| 33 | 35 |
|
| 34 | 36 |
|
| 35 |
|
|
| 37 |
|
|
| 36 | 38 |
|
| 37 | 39 |
|
| 38 | 40 |
|
@@ -70,12 +72,8 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
| 70 | 72 |
|
| 71 | 73 |
|
| 72 | 74 |
|
| 73 |
|
|
| 74 |
|
|
| 75 |
|
|
| 76 |
|
|
| 77 |
|
|
| 78 |
|
|
| 75 |
|
|
| 76 |
|
|
| 79 | 77 |
|
| 80 | 78 |
|
| 81 | 79 |
|
@@ -157,10 +155,17 @@ async fn boot_dev_server() -> Result<(), Box<dyn std::error::Error>> {
| 157 | 155 |
|
| 158 | 156 |
|
| 159 | 157 |
|
| 160 |
|
|
| 158 |
|
|
| 159 |
|
|
| 161 | 160 |
|
| 162 | 161 |
|
| 163 |
|
|
| 162 |
|
|
| 163 |
|
|
| 164 |
|
|
| 165 |
|
|
| 166 |
|
|
| 167 |
|
|
| 168 |
|
|
| 164 | 169 |
|
| 165 | 170 |
|
| 166 | 171 |
|
@@ -173,9 +178,18 @@ async fn boot_dev_server() -> Result<(), Box<dyn std::error::Error>> {
| 173 | 178 |
|
| 174 | 179 |
|
| 175 | 180 |
|
| 176 |
|
|
| 177 |
|
|
| 178 |
|
|
| 181 |
|
|
| 182 |
|
|
| 183 |
|
|
| 184 |
|
|
| 185 |
|
|
| 186 |
|
|
| 187 |
|
|
| 188 |
|
|
| 189 |
|
|
| 190 |
|
|
| 191 |
|
|
| 192 |
|
|
| 179 | 193 |
|
| 180 | 194 |
|
| 181 | 195 |
|