fhudi commited on
Commit
332ac6c
·
1 Parent(s): 22b7eb9

change gradio port

Browse files
Files changed (1) hide show
  1. app.py +1 -1
app.py CHANGED
@@ -1,6 +1,6 @@
1
  import os
2
 
3
- os.environ.setdefault("GRADIO_SERVER_PORT", "1080")
4
  # os.environ.setdefault("TEXTGAMES_SHOW_HIDDEN_LEVEL", "1")
5
  os.environ.setdefault("TEXTGAMES_LOADGAME_DIR", "problemsets")
6
  os.environ.setdefault("TEXTGAMES_LOADGAME_ID", "42")
 
1
  import os
2
 
3
+ # os.environ.setdefault("GRADIO_SERVER_PORT", "1080")
4
  # os.environ.setdefault("TEXTGAMES_SHOW_HIDDEN_LEVEL", "1")
5
  os.environ.setdefault("TEXTGAMES_LOADGAME_DIR", "problemsets")
6
  os.environ.setdefault("TEXTGAMES_LOADGAME_ID", "42")