Index: tools/on_demand_service_tool.ad |
diff --git a/tools/on_demand_service_tool.ad b/tools/on_demand_service_tool.ad |
index 11f4984168e479040efeb2bfdebddfd118734ddf..421f17b14d3e3c8a68b2965ac36beb4812b33bd5 100644 |
--- a/tools/on_demand_service_tool.ad |
+++ b/tools/on_demand_service_tool.ad |
@@ -76,7 +76,7 @@ looking up the name +svc+: |
$ *on_demand_service_tool --load --label=catch_exception \ |
--mach-service=svc \ |
$(which catch_exception_tool) --mach-service=svc \ |
- --file=/tmp/out --nonblocking --persistent* |
+ --file=/tmp/out --persistent --timeout=0* |
---- |
Unregisters the on-demand server installed above: |