diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-24 19:51:53 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-25 08:51:07 +0200 |
| commit | ddf3480d49ba35240e324644015ccb2422379679 (patch) | |
| tree | 28eca9e863d2a9b9a2fcdc3cb7a9d4439ae94a5a /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 39dc87db4bf75ad01e1f56d47e187861fbe8790a (diff) | |
workflows/labels: improve cleanup of reservoir timer
This should make sure that the timer is cleaned up, no matter what. This
didn't seem to be the case before, where it would still be stuck
sometimes, when throwing an error somewhere.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions