fix two bug

1 files changed, 1 insertions, 0 deletions

diff --git a/launch.py b/launch.py
index 088eada1..7520cfee 100644
--- a/launch.py
+++ b/launch.py
@@ -11,6 +11,7 @@ python = sys.executable
 git = os.environ.get('GIT', "git")

 index_url = os.environ.get('INDEX_URL', "")

 

+

 def extract_arg(args, name):

     return [x for x in args if x != name], name in args