diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2023-02-19 03:59:10 +0100 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2023-02-19 04:08:31 +0100 |
| commit | eefb29679957fed3724e6d5db2ddf112e28f646f (patch) | |
| tree | ea58d6d1dc8548a09d6b18c200bf8a1f854d82ba /tools | |
| parent | ee919658948772105d0bd3b4535ba28883484f2c (diff) | |
Conf: Fix too early free of old configuration
The change 371eb49043d225d2bab8149187b813a14b4b86d2 introduced early free
of old_config. Unfortunately, it did not properly check whether it is not
still in use (blocked by obstacle during reconfiguration). Fix that.
It also means that we still could have a short peak when three configs
are in use (when a new reconfig is requeste while the previous one is
still active).
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions