diff options
Diffstat (limited to 'DAnCE/Plan_Launcher/Plan_Launcher_Impl.h')
| -rw-r--r-- | DAnCE/Plan_Launcher/Plan_Launcher_Impl.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/DAnCE/Plan_Launcher/Plan_Launcher_Impl.h b/DAnCE/Plan_Launcher/Plan_Launcher_Impl.h index 6c1eaaf9ba9..70d78bce566 100644 --- a/DAnCE/Plan_Launcher/Plan_Launcher_Impl.h +++ b/DAnCE/Plan_Launcher/Plan_Launcher_Impl.h @@ -56,10 +56,10 @@ namespace CIAO * @param deployment_plan_uri A uri that points ot a valid deployment plan * @returns a string containing the UUID of the plan. Null indicates failure. */ - const char * launch_plan (const char *deployment_plan_uri, - const char *package_uri = 0, - bool use_package_name = true, - bool use_repoman = false); + virtual const char * launch_plan (const char *deployment_plan_uri, + const char *package_uri = 0, + bool use_package_name = true, + bool use_repoman = false); const char * re_launch_plan (const char *deployment_plan_uri, const char *package_uri = 0, |