diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2007-01-27 06:22:00 +0000 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2007-01-27 06:22:00 +0000 |
commit | f0de3935c81a6dbdacbf13f448bb7480bd45da51 (patch) | |
tree | 807e244bcd9630e0089842d17dce131d8ae3b71f | |
parent | 2cd55b8f869f0f176bb7c3090f83cd4115f9b417 (diff) | |
download | ATCD-f0de3935c81a6dbdacbf13f448bb7480bd45da51.tar.gz |
-rw-r--r-- | CIAO/DAnCE/Plan_Launcher/Plan_Launcher.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.cpp b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.cpp index 6a4103af3ac..d5233cf870c 100644 --- a/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.cpp +++ b/CIAO/DAnCE/Plan_Launcher/Plan_Launcher.cpp @@ -294,7 +294,7 @@ namespace CIAO orb->destroy (); } - catch (const Plan_Launcher_i::Deployment_Failure& ex) + catch (const Plan_Launcher_i::Deployment_Failure&) { ACE_ERROR ((LM_ERROR, "Deployment failed. Plan_Launcher exiting.\n")); |