From 7b74a41f22a94c7d5db3fa26b13f08de54673555 Mon Sep 17 00:00:00 2001
From: Mikael Djurfeldt <mikael@djurfeldt.com>
Date: Wed, 8 Dec 2021 00:46:59 +0100
Subject: [PATCH] Fix postponed setup
---
src/setup.cc | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/src/setup.cc b/src/setup.cc
index 3d2c473..65bc9eb 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 ();
}
}
--
GitLab