Cleanup

2026-07-11 00:14:41 +02:00
parent 87dd8e1190
commit c9e463bb9a
15 changed files with 183 additions and 51 deletions
@@ -15,8 +15,7 @@ pub fn run(mut session: Session, signals_path: &str) {
    // Reserviertes `[init]`-Signal: KV-Defaults setzen, bevor Stories laufen.
    for line in session.start() { println!("{line}"); }

-    loop {
-        let Some(input) = read_line(prompt_for(&session.mode)) else { break };
+    while let Some(input) = read_line(prompt_for(&session.mode)) {
        let r = session.exec(input.trim());
        for line in r.output { println!("{line}"); }
        if r.quit { break; }