GUI: fix display of result

dream/platform/src/dream/Input_viewResultList.js

@@ -42,13 +42,12 @@
           throw error;
         })
         .push(function (sim_json) {
-          var document_list = JSON.parse(sim_json),
+          var result = JSON.parse(sim_json).result,
             result_list = [],
+            document_list = [],
             i;
-          if (document.result) {
-            if (document.result.result_list) {
-              document_list = document.result.result_list;
-            }
+          if (result) {
+            document_list = result.result_list;
           }
           for (i = 0; i < document_list.length; i += 1) {
             result_list.push(RSVP.all([

dream/platform/src/dream/index.js

@@ -281,7 +281,7 @@
           });
         })
         .push(function (sim_json) {
-          var document_list = JSON.parse(sim_json);
+          var document_list = JSON.parse(sim_json).result.result_list;
           return document_list[options.result].score + " " +
             document_list[options.result].key;
         });
@@ -409,6 +409,7 @@
         for (action_id in portal_types.Output) {
           if (portal_types.Output.hasOwnProperty(action_id)) {
             action_info = portal_types.Output[action_id];
+            // XXX condition not needed
             if ((action_info.condition === undefined) ||
                 (action_info.condition(this))) {
               action = action_id;