summaryrefslogtreecommitdiff
path: root/src/demo.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/demo.sml')
-rw-r--r--src/demo.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/demo.sml b/src/demo.sml
index 4f0cb52e..43fa5ef0 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -93,6 +93,7 @@ fun make {prefix, dirname, guided} =
sql = SOME (OS.Path.joinDirFile {dir = dirname,
file = "demo.sql"}),
debug = false,
+ timeout = Int.max (#timeout combined, #timeout urp),
profile = false
}