FIXED: Download of query results as CSV from the SWISH GUI.

Author: JanWielemaker

web/js/prolog.js

@@ -96,8 +96,13 @@ define([ "jquery", "config", "form", "preferences",
 	  }
 	}
 
+	let url = config.http.locations.pengines;
+	if ( !url.endsWith("/") )
+	  url += "/";
+	url += "create";
+
 	formel = $.el.form({ method:"POST",
-                             action:config.http.locations.pengines+"/create",
+                             action:url,
 			     target:"_blank"
 		           },
 			   attr("format", "csv"),

web/js/runner.js

@@ -193,8 +193,13 @@ define([ "jquery", "config", "preferences", "utils",
 	}
 
 	function refresh() {
+	  let url = config.http.locations.pengines;
+	  if ( !url.endsWith("/") )
+	    url += "/";
+	  url += "list?application=swish";
+
 	  backend.ajax(
-	    { url: config.http.locations.pengines + "/list?application=swish",
+	    { url: url,
 	      type: "GET",
 	      success: function(reply) {
 		content.empty();
@@ -248,9 +253,13 @@ define([ "jquery", "config", "preferences", "utils",
      */
     reattach: function() {
       var that = this;
+      let url = config.http.locations.pengines;
+	  if ( !url.endsWith("/") )
+	    url += "/";
+	  url += "list?application=swish";
 
       backend.ajax(
-	{ url: config.http.locations.pengines + "/list?application=swish",
+	{ url: url,
           type: "GET",
 	  success: function(reply) {
 	    if ( reply.pengines ) {