parameters: (poll_interval=1)
docstring: Install the reloading monitor.
  
      On some platforms server threads may not terminate when the main
      thread does, causing ports to remain open/locked.  The
      ``raise_keyboard_interrupt`` option creates a unignorable signal
      which causes the whole application to shut-down (rudely).
docstring_summary: Install the reloading monitor.
docstring_tokens: Install the reloading monitor .
function: def install(poll_interval=1):
      """
      Install the reloading monitor.
  
      On some platforms server threads may not terminate when the main
      thread does, causing ports to remain open/locked.  The
      ``raise_keyboard_interrupt`` option creates a unignorable signal
      which causes the whole application to shut-down (rudely).
      """
      mon = Monitor(poll_interval=poll_interval)
      t = threading.Thread(target=mon.periodic_reload)
      t.setDaemon(True)
      t.start()
function_tokens: def install ( poll_interval = 1 ) : mon = Monitor ( poll_interval = poll_interval ) t = threading . Thread ( target = mon . periodic_reload ) t . setDaemon ( True ) t . start ( )