diff options
| -rw-r--r-- | bbot/agent/machine.cxx | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bbot/agent/machine.cxx b/bbot/agent/machine.cxx index 911d65b..443ab28 100644 --- a/bbot/agent/machine.cxx +++ b/bbot/agent/machine.cxx @@ -309,11 +309,21 @@ namespace bbot } else { + // @@ TMP: libstud-optional issue #1. + // +#if 0 auto add = [&os] (string o, optional<string> v = {}) { os.push_back (move (o)); if (v) os.push_back (move (*v)); }; +#else + auto add = [&os] (string o, string v = {}) + { + os.push_back (move (o)); + if (!v.empty ()) os.push_back (move (v)); + }; +#endif // Network. // |