scalatron#1 Use Ext.JSON for better browser compatiblity.

scalatron#2 Add Session to the SessionResources and adapt API to use "Session" instead of "Logout"
scalatron#3 Remove 'utf-8' from header because IE throws some warnings

Author: dkuffner

Scalatron/src/scalatron/webServer/rest/resources/SessionResource.scala

@@ -55,6 +55,7 @@ class SessionResource extends ResourceWithUser {
 object SessionResource {
     def resources(userName: String) =
             Array(
+                SessionResource.ResourceLink("Session", "users/%s/session".format(userName)),
                 SessionResource.ResourceLink("Sources", "/api/users/%s/sources".format(userName)),
                 SessionResource.ResourceLink("Build", "/api/users/%s/sources/build".format(userName)),
                 SessionResource.ResourceLink("Sandboxes", "/api/users/%s/sandboxes".format(userName)),

Scalatron/webui/client/API.js

@@ -19,7 +19,7 @@
                     "Content-Type":'application/json'
                 },
                 success: function(r) {
-                    var result = JSON.parse(r.responseText);
+                    var result = Ext.JSON.decode(r.responseText);
                     var api = {};
 
                     Ext.each(result.resources, function(e) {
@@ -48,7 +48,7 @@
 
                         if(r.responseText != "") {
                             try {
-                                result = JSON.parse(r.responseText)
+                                result = Ext.JSON.decode(r.responseText)
                             } catch(e) {
                                 console.warn("URL: " + url + " Method: " + method);
                                 console.warn("Cannot parse result, Test to parse is: ", r.responseText);
@@ -68,6 +68,7 @@
         },
 
         /*
+         { "name" : "Session",       "url" : "/api/users/{user}/session" },
          { "name" : "Sources",       "url" : "/api/users/{user}/sources" },
          { "name" : "Build",         "url" : "/api/users/{user}/sources/build" },
          { "name" : "Sandboxes",     "url" : "/api/users/{user}/sandboxes" },
@@ -116,7 +117,7 @@
         },
 
         logout: function() {
-            var p = this.applyDefault("DELETE", this.api.Logout, {});
+            var p = this.applyDefault("DELETE", this.api.Session, {});
             Ext.Ajax.request(p);
         }
     });

Scalatron/webui/client/DebuggerHelper.js

@@ -42,7 +42,7 @@ DebuggerHelper = {
             steps:steps,
             success:function (response) {
                 /* Helps to test the functionality.
-                var fake = JSON.parse('{"id":333,"name":"Fake","master":true,"input":{"params":{"name":"Slave","time":"112","view":"????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????WW?????????????????????????????W__????????????????????????????W___????????????????????????????____????????????????????????????____????????????????????????????__b_????????????????????????????__b_WWW?????????????????????????_____W?????????????????????????W__M_W?????????????????????????WWWW_W??????????????????????????????P???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????W????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????","energy":"1800"},"opcode":"React"},"output":[{"params":{"dx":"1","dy":"1"},"opcode":"Move"}],"debugOutput":""}')
+                var fake = Ext.JSON.decode('{"id":333,"name":"Fake","master":true,"input":{"params":{"name":"Slave","time":"112","view":"????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????WW?????????????????????????????W__????????????????????????????W___????????????????????????????____????????????????????????????____????????????????????????????__b_????????????????????????????__b_WWW?????????????????????????_____W?????????????????????????W__M_W?????????????????????????WWWW_W??????????????????????????????P???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????_???????????????????????????????W????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????","energy":"1800"},"opcode":"React"},"output":[{"params":{"dx":"1","dy":"1"},"opcode":"Move"}],"debugOutput":""}')
                 response.entities.push(fake);
                 */
                 Sandbox.setState(response);

Scalatron/webui/client/Login.js

@@ -47,7 +47,7 @@ Ext.onReady(function () {
                 "Content-Type":'application/json'
             },
             success:function (r) {
-                var result = JSON.parse(r.responseText);
+                var result = Ext.JSON.decode(r.responseText);
                 var combo = Ext.getCmp("userName");
                 combo.getStore().loadRawData(result.users);
                 combo.setDisabled(false);

Scalatron/webui/client/Tutorial.js

@@ -88,7 +88,7 @@ Ext.define('TutorialPanel', {
                     button.style.visibility = 'visible';
                     button.innerText = 'Load into Editor';
                     button.onclick = function() {
-                        var url = this.getAttribute("data-url")
+                        var url = this.getAttribute("data-url");
                         Ext.Ajax.request({
                             url: url,
                             success: function(response, opts) { Editor.setContent(response.responseText) }

Scalatron/webui/webclient.html

@@ -1,7 +1,7 @@
 <html>
 <head>
 
-    <meta charset="UTF-8">
+    <!--<meta charset="UTF-8">-->
     <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
 
     <title>Scalatron Development Environment: $BotName$</title>