From e7f91d2d01c5105c1ea1d9c797eecf511dbeab65 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Thu, 28 Jul 2022 08:57:44 -0400
Subject: [PATCH] feat: forward all args to server

---
 src/util/shell.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/util/shell.cpp b/src/util/shell.cpp
index e6c70063ac..8679ad3db9 100644
--- a/src/util/shell.cpp
+++ b/src/util/shell.cpp
@@ -525,6 +525,7 @@ extern "C" LEAN_EXPORT int lean_main(int argc, char ** argv) {
                 break;
             case 'R':
                 root_dir = optarg;
+                forwarded_args.push_back(string_ref("-R" + std::string(optarg)));
                 break;
             case 'M':
                 check_optarg("M");
@@ -533,12 +534,13 @@ extern "C" LEAN_EXPORT int lean_main(int argc, char ** argv) {
                 break;
             case 'T':
                 check_optarg("T");
-                forwarded_args.push_back(string_ref("-T" + std::string(optarg)));
                 opts = opts.update(get_timeout_opt_name(), static_cast<unsigned>(atoi(optarg)));
+                forwarded_args.push_back(string_ref("-T" + std::string(optarg)));
                 break;
             case 't':
                 check_optarg("t");
                 trust_lvl = atoi(optarg);
+                forwarded_args.push_back(string_ref("-t" + std::string(optarg)));
                 break;
             case 'q':
                 opts = opts.update(lean::get_verbose_opt_name(), false);