diff options
Diffstat (limited to 'bbot/worker/worker.cxx')
-rw-r--r-- | bbot/worker/worker.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bbot/worker/worker.cxx b/bbot/worker/worker.cxx index 8388d03..5f857b0 100644 --- a/bbot/worker/worker.cxx +++ b/bbot/worker/worker.cxx @@ -6060,6 +6060,11 @@ parse_auxiliary_environment (const string& s, const char* comment = nullptr) r.push_back (move (line)); } + // Pop the final blank line comment. + // + if (comment != nullptr && r.back () == comment) + r.pop_back (); + return r; } |