diff --git a/src/setup.cc b/src/setup.cc index 3d2c473ee3e039b1c9ee4b9a083b1a1932934810..65bc9eb56388992b64a03e4823dd529dad9611f8 100644 --- a/src/setup.cc +++ b/src/setup.cc @@ -47,7 +47,7 @@ namespace MUSIC { } - + Setup::Setup (int& argc, char**& argv, int required, int* provided) : argc_ (argc), argv_ (argv) { @@ -272,8 +272,10 @@ namespace MUSIC { { if (postponeSetup_) { - delete config_; - config_ = new Configuration (); + postponeSetup_ = false; + std::string config = ""; + launchedWithExec (config); + config_ = new Configuration (config); fullInit (); } }