parameters: ()
docstring: write a stop.monitor file to notify TacticMonitor to exit
docstring_summary: write a stop.monitor file to notify TacticMonitor to exit
docstring_tokens: write a stop . monitor file to notify TacticMonitor to exit
function: def write_stop_monitor():
      '''write a stop.monitor file to notify TacticMonitor to exit'''
      log_dir = "%s/log" % Environment.get_tmp_dir()
      if not os.path.exists(log_dir):
          os.makedirs(log_dir)
      
     
      file = open("%s/stop.monitor" % log_dir, "w")
      pid = os.getpid()
      file.write(str(pid))
      file.close()
function_tokens: def write_stop_monitor ( ) : log_dir = "%s/log" % Environment . get_tmp_dir ( ) if not os . path . exists ( log_dir ) : os . makedirs ( log_dir ) file = open ( "%s/stop.monitor" % log_dir , "w" ) pid = os . getpid ( ) file . write ( str ( pid ) ) file . close ( )