Open source companion commit for rstudio/rstudio-pro#1169

gvpathi · Aug 16, 2019 · e454b48 · e454b48
1 parent c223b65
commit e454b48
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/cpp/server/ServerMain.cpp b/src/cpp/server/ServerMain.cpp
@@ -513,9 +513,12 @@ int main(int argc, char * const argv[])
  server::options().monitorSharedSecret(),
  s_pHttpServer->ioService());
 
- // add a monitor log writer
- core::system::addLogWriter(
- monitor::client().createLogWriter(kProgramIdentity));
+ if (!options.verifyInstallation())
+ {
+ // add a monitor log writer
+ core::system::addLogWriter(
+ monitor::client().createLogWriter(kProgramIdentity));
+ }
 
  // call overlay initialize
  error = overlay::initialize();