Polishing touches

Minor UI fixes and doc cleanup.

README.md

@@ -13,7 +13,6 @@ source env/bin/activate
 pip install -r REQUIREMENTS.txt
 
 # This is to initialize the django database
- ./manage.py makemigrations
  ./manage.py migrate
 
 # This is to get the ACE editor

compile_server/app/checker.py

@@ -32,7 +32,7 @@ def check_program(request):
     # Sanity check for the existence of gnatprove
 
     if not check_gnatprove():
-        result = {'output': "gnatprove not found",
+        result = {'output_lines': ["gnatprove not found"],
                   'status': 0,
                   'message': "error"}
 
@@ -98,6 +98,4 @@ def check_program(request):
               'status': status,
               'message': message}
 
-    print result
-
     return Response(result)

compile_server/app/static/editors.js

@@ -47,7 +47,7 @@ function process_check_output(editors, output_area, output, status, message){
     })
 
     // Congratulations!
-    if (!found_error_message){
+    if (!found_error_message && message == "success"){
       var div = $('<div class="output_success">')
       div.text("Success!")
       div.appendTo(output_area)

design/notes.txt

@@ -41,7 +41,7 @@ curl -H 'Accept: application/json; indent=4' http://127.0.0.1:8000/examples/ --h
 # TODO: add a facility to do this
 
 # Setup:
-cd resources ; git clone https:AdaCore/Compile_And_Prove_Demo.git
+cd resources ; git clone https://github.com/AdaCore/Compile_And_Prove_Demo.git
 
 # Import:
 ./manage.py fill_examples --remove_all