From 1fb49baaaadfa55be4beb665700730fde0a41590 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 8 Feb 2017 10:12:00 -0800 Subject: [PATCH] feat(shell/server): add sleep commands for creating repros --- src/shell/server.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/shell/server.cpp b/src/shell/server.cpp index 6ee2c302ed..668c6e3336 100644 --- a/src/shell/server.cpp +++ b/src/shell/server.cpp @@ -245,6 +245,12 @@ void server::handle_request(server::cmd_req const & req) { return handle_complete(req); } else if (command == "info") { return handle_info(req); + } else if (command == "sleep") { + chrono::milliseconds small_delay(1000); + this_thread::sleep_for(small_delay); + } else if (command == "long_sleep") { + chrono::milliseconds small_delay(10000); + this_thread::sleep_for(small_delay); } send_msg(cmd_res(req.m_seq_num, std::string("unknown command")));