Skip to content

Instantly share code, notes, and snippets.

@JMSwag
Created July 30, 2020 19:30
Show Gist options
  • Select an option

  • Save JMSwag/a7e985a2f45e0b79e73c364326d4baaa to your computer and use it in GitHub Desktop.

Select an option

Save JMSwag/a7e985a2f45e0b79e73c364326d4baaa to your computer and use it in GitHub Desktop.

Revisions

  1. JMSwag created this gist Jul 30, 2020.
    12 changes: 12 additions & 0 deletions example.py
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,12 @@
    def restart_sys():
    pass

    def restart_execl():
    pass


    def restart(system=True):
    if system:
    restart_sys()
    else:
    restart_execl()