diff options
| -rwxr-xr-x | example-scripts/demo-local.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example-scripts/demo-local.sh b/example-scripts/demo-local.sh index 2fb1f6a..3a82f39 100755 --- a/example-scripts/demo-local.sh +++ b/example-scripts/demo-local.sh @@ -1,6 +1,6 @@ #!/bin/bash -../voctocore.py -vv & +../voctocore/voctocore.py -vv & PID=$! echo "PID=$PID" sleep 1 |