diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-24 13:30:13 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-24 13:30:13 -0700 |
commit | 5c058bf1bfa2149f2fbe0646777e82efb288e993 (patch) | |
tree | 78f9867fe6926d670cd83f94de340989c9a1b005 /081run_interactive.cc | |
parent | 90560d7194f3e451ddab9d4033c98d2e6aec977b (diff) | |
download | mu-5c058bf1bfa2149f2fbe0646777e82efb288e993.tar.gz |
2063
Extend deadline for run-interactive.
Diffstat (limited to '081run_interactive.cc')
-rw-r--r-- | 081run_interactive.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index e97e2898..f57b3fb6 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -104,7 +104,7 @@ load(string( "local-scope\n" + "screen:address/shared <- new-fake-screen 30, 5\n" + "r:number/routine_id <- start-running interactive:recipe, screen:address\n" + - "limit-time r, 750/instructions\n" + + "limit-time r, 10000/instructions\n" + "wait-for-routine r\n" + "sandbox-state:number <- routine-state r/routine_id\n" + "completed?:boolean <- equal sandbox-state, 1/completed\n" + |