chiark / gitweb /
before other way
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 7 Aug 2020 17:16:36 +0000 (18:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 7 Aug 2020 17:16:36 +0000 (18:16 +0100)
src/bin/otter.rs

index fcec5d4c577b16f6b4751fdce1bf089afc317eb0..5c7cc17c51163b90ff934a562c67a6363629d726 100644 (file)
@@ -97,7 +97,10 @@ fn main() {
   {
     let mut ap = ArgumentParser::new();
     let scope = Cell::from_mut(&mut mainopts.scope);
-    let mut set_scope_server = ||{ scope.set(Some(ManagementScope::Server)); Parsed };
+
+    Call(||{ scope.set(Some(ManagementScope::Server)); Parsed })
+      .
+    let mut set_scope_server = 
     ap.refer(&mut set_scope_server)
       .add_option(&["--scope-server"], CallFlag,
                   "use Server scope for game names");