| 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:
|
|
|