Rename `main` to `run`

By convention, the entry point for the console script is a function called
`main`. This function encompasses all the code currently in the `if __name__ ==
"__main__":` block. But there is already a function called `main`, for the main
loop. So we rename this function to `run`, choosing a short name with similar
meaning.
pull/80/head
Claudio Jolowicz 2020-08-22 13:45:21 +02:00
parent 95cdf83b22
commit 442802af99
No known key found for this signature in database
GPG Key ID: E6BDB18E3A5888BF
1 changed files with 2 additions and 2 deletions

View File

@ -4470,7 +4470,7 @@ if __name__ == "__main__":
#? Main loop ------------------------------------------------------------------------------------->
def main():
def run():
while not False:
Term.refresh()
Timer.stamp()
@ -4483,7 +4483,7 @@ if __name__ == "__main__":
#? Start main loop
try:
main()
run()
except Exception as e:
errlog.exception(f'{e}')
clean_quit(1)