From 92a86b1874c854d2dd8c93898940668db5c2e84d Mon Sep 17 00:00:00 2001 From: slava Date: Mon, 27 Nov 2006 02:41:59 +0000 Subject: [PATCH] Flush after doing -e --- library/cli.factor | 1 + 1 file changed, 1 insertion(+) diff --git a/library/cli.factor b/library/cli.factor index e1bb6c632b..0bbc6f11d6 100644 --- a/library/cli.factor +++ b/library/cli.factor @@ -59,6 +59,7 @@ parser sequences strings ; cli-args [ cli-arg ] subset ignore-cli-args? [ drop ] [ [ run-file ] each ] if "e" get eval + flush ] try ; IN: shells