diff --git a/warp/static/css/app.css b/warp/static/css/app.css index 0d5532d..f9eca6b 100644 --- a/warp/static/css/app.css +++ b/warp/static/css/app.css @@ -9,6 +9,20 @@ height: 100vh; } +ul { + padding: 0px; + margin: 0px; +} + +#arguments { + padding: 0px; +} + +.tabs-panel { + padding-left: 0px; + padding-right: 0px; +} + #output .out { color: #FFFFFF; } diff --git a/warp/static/js/app.js b/warp/static/js/app.js index 9381bb7..fe402cc 100644 --- a/warp/static/js/app.js +++ b/warp/static/js/app.js @@ -146,7 +146,7 @@ function createAction(action) { var help = $(" - + + - diff --git a/warp/views.py b/warp/views.py index 6c561e1..6d33f3e 100644 --- a/warp/views.py +++ b/warp/views.py @@ -56,6 +56,7 @@ def get_arguments(): @app.route("/stop") def stop(): + os.kill(app.module_process.pid, signal.SIGCONT) app.module_process.terminate() return "OK"