diff options
Diffstat (limited to 'flat/CIAO/examples/BasicSP/descriptors/run_test.pl')
| -rwxr-xr-x | flat/CIAO/examples/BasicSP/descriptors/run_test.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/flat/CIAO/examples/BasicSP/descriptors/run_test.pl b/flat/CIAO/examples/BasicSP/descriptors/run_test.pl index 819f5a220ff..577f9d1432d 100755 --- a/flat/CIAO/examples/BasicSP/descriptors/run_test.pl +++ b/flat/CIAO/examples/BasicSP/descriptors/run_test.pl @@ -93,6 +93,11 @@ sub run_node_daemons { return 0; } +if ($#ARGV == 0) +{ + $cdp_file = $ARGV[0]; +} + delete_ior_files (); # Invoke naming service |