jsgui3-server 0.0.121 → 0.0.122

package/resources/processors/extractors/string/Pos_Span_String_Extractor.js

@@ -1,94 +1,94 @@
-const Extractor = require('../Extractor');
-
-const invert_arr_pos_spans = (arr_pos_spans, str_len) => {
-
-
-    // Create the array of inverted ones...
-    //  The one before the first.
-    //  The gaps between each of them.
-    //  The one after the last.
-
-    const res = [];
-
-    if (arr_pos_spans.length === 0) {
-        res.push([0, str_len]);
-    } else {
-
-        if (arr_pos_spans[0][0] > 0) {
-            res.push([0, arr_pos_spans[0][0]]);
-        } else {
-
-        }
-
-
-
-        if (arr_pos_spans.length > 1) {
-            // there are gaps
-
-            let i = 0;
-            // while there are remaining ones...?
-
-            for (i = 0; i < arr_pos_spans.length - 1; i++) {
-                res.push([arr_pos_spans[i][1], arr_pos_spans[i+1][0]])
-            }
-            //console.log('i', i);
-            res.push([arr_pos_spans[i][1], str_len])
-
-
-
-        } else if (arr_pos_spans.length === 1) {
-            res.push([arr_pos_spans[0][1], str_len])
-        }
-
-
-
-        
-
-
-    }
-
-    
-
-
-
-    return res;
-
-
-
-
-}
-
-class Pos_Span_String_Extractor extends Extractor {
-    constructor(spec) {
-        super(spec);
-    }
-    extract(str, arr_pos_spans, options = {}) {
-
-        // Possibly invert the arr_pos_spans
-
-        if (options.invert){
-            arr_pos_spans = invert_arr_pos_spans(arr_pos_spans, str.length);
-
-            //console.log('inverted arr_pos_spans', arr_pos_spans);
-        }
-
-        let arr_str_res = [];
-
-        // getting the strings within the arr_pos_spans....
-
-        const n_spans = arr_pos_spans.length;
-        for (let c = 0; c < n_spans; c++) {
-            const pos_span = arr_pos_spans[c];
-            arr_str_res.push(str.substring(pos_span[0], pos_span[1]));
-            
-        }
-
-        const str_res = arr_str_res.join('');
-        return str_res;
-
-        // Create a new span
-
-    }
-}
-
+const Extractor = require('../Extractor');
+
+const invert_arr_pos_spans = (arr_pos_spans, str_len) => {
+
+
+    // Create the array of inverted ones...
+    //  The one before the first.
+    //  The gaps between each of them.
+    //  The one after the last.
+
+    const res = [];
+
+    if (arr_pos_spans.length === 0) {
+        res.push([0, str_len]);
+    } else {
+
+        if (arr_pos_spans[0][0] > 0) {
+            res.push([0, arr_pos_spans[0][0]]);
+        } else {
+
+        }
+
+
+
+        if (arr_pos_spans.length > 1) {
+            // there are gaps
+
+            let i = 0;
+            // while there are remaining ones...?
+
+            for (i = 0; i < arr_pos_spans.length - 1; i++) {
+                res.push([arr_pos_spans[i][1], arr_pos_spans[i+1][0]])
+            }
+            //console.log('i', i);
+            res.push([arr_pos_spans[i][1], str_len])
+
+
+
+        } else if (arr_pos_spans.length === 1) {
+            res.push([arr_pos_spans[0][1], str_len])
+        }
+
+
+
+        
+
+
+    }
+
+    
+
+
+
+    return res;
+
+
+
+
+}
+
+class Pos_Span_String_Extractor extends Extractor {
+    constructor(spec) {
+        super(spec);
+    }
+    extract(str, arr_pos_spans, options = {}) {
+
+        // Possibly invert the arr_pos_spans
+
+        if (options.invert){
+            arr_pos_spans = invert_arr_pos_spans(arr_pos_spans, str.length);
+
+            //console.log('inverted arr_pos_spans', arr_pos_spans);
+        }
+
+        let arr_str_res = [];
+
+        // getting the strings within the arr_pos_spans....
+
+        const n_spans = arr_pos_spans.length;
+        for (let c = 0; c < n_spans; c++) {
+            const pos_span = arr_pos_spans[c];
+            arr_str_res.push(str.substring(pos_span[0], pos_span[1]));
+            
+        }
+
+        const str_res = arr_str_res.join('');
+        return str_res;
+
+        // Create a new span
+
+    }
+}
+
 module.exports = Pos_Span_String_Extractor;

package/resources/server-installed-tools.js

@@ -1,29 +1,29 @@
-
-
-var jsgui = require("jsgui3-html");
-const { each, get_a_sig, is_defined, tof } = jsgui;
-
-//var Web_Resource = require('./website-resource');
-const Resource = jsgui.Resource;
-// Proxy_Server_Resource possibly.
-//  Note that the client should be able to access a Proxy_Server_Resource if needed.
-//   Could just send request onwards and do same for response.
-//    Buffering rate-limiting proxies too though?
-
-
-//  May help with FirstPoint_Server.
-
-// Could move the publishing parts to Website_Resource_Publisher perhaps.
-
-
-
-
-
-
-class Server_Installed_Tools extends Resource {
-  constructor(spec = {}) {
-    super(spec);
-  }
-}
-
+
+
+var jsgui = require("jsgui3-html");
+const { each, get_a_sig, is_defined, tof } = jsgui;
+
+//var Web_Resource = require('./website-resource');
+const Resource = jsgui.Resource;
+// Proxy_Server_Resource possibly.
+//  Note that the client should be able to access a Proxy_Server_Resource if needed.
+//   Could just send request onwards and do same for response.
+//    Buffering rate-limiting proxies too though?
+
+
+//  May help with FirstPoint_Server.
+
+// Could move the publishing parts to Website_Resource_Publisher perhaps.
+
+
+
+
+
+
+class Server_Installed_Tools extends Resource {
+  constructor(spec = {}) {
+    super(spec);
+  }
+}
+
 module.exports = Server_Installed_Tools;

package/resources/server-resource-pool.js

@@ -1,41 +1,41 @@
-/**
- * Created by James on 02/10/2016.
- */
-
-
-
-
-var jsgui = require('jsgui3-html'), os = require('os'), http = require('http'),
-	Local_Server_Info = require('./local-server-info-resource'), Resource_Pool = jsgui.Resource_Pool;
-
-var stringify = jsgui.stringify, each = jsgui.each, arrayify = jsgui.arrayify, tof = jsgui.tof;
-var filter_map_by_regex = jsgui.filter_map_by_regex;
-var Class = jsgui.Class, Data_Object = jsgui.Data_Object, Enhanced_Data_Object = jsgui.Enhanced_Data_Object;
-var fp = jsgui.fp, is_defined = jsgui.is_defined;
-var Collection = jsgui.Collection;
-
-var exec = require('child_process').exec;
-
-class Server_Resource_Pool extends Resource_Pool {
-	constructor(spec) {
-		super(spec);
-		
-		var lsi = new Local_Server_Info({
-			'name': 'Local Server Info',
-			'startup_type': 'auto',
-			'access': {
-				'full': ['server_admin']
-			},
-			'pool': this
-		});
-		this.add(lsi);
-	}
-
-}
-
-
-//return Server_Resource_Pool;
-
-
-//});
-module.exports = Server_Resource_Pool;
+/**
+ * Created by James on 02/10/2016.
+ */
+
+
+
+
+var jsgui = require('jsgui3-html'), os = require('os'), http = require('http'),
+	Local_Server_Info = require('./local-server-info-resource'), Resource_Pool = jsgui.Resource_Pool;
+
+var stringify = jsgui.stringify, each = jsgui.each, arrayify = jsgui.arrayify, tof = jsgui.tof;
+var filter_map_by_regex = jsgui.filter_map_by_regex;
+var Class = jsgui.Class, Data_Object = jsgui.Data_Object, Enhanced_Data_Object = jsgui.Enhanced_Data_Object;
+var fp = jsgui.fp, is_defined = jsgui.is_defined;
+var Collection = jsgui.Collection;
+
+var exec = require('child_process').exec;
+
+class Server_Resource_Pool extends Resource_Pool {
+	constructor(spec) {
+		super(spec);
+		
+		var lsi = new Local_Server_Info({
+			'name': 'Local Server Info',
+			'startup_type': 'auto',
+			'access': {
+				'full': ['server_admin']
+			},
+			'pool': this
+		});
+		this.add(lsi);
+	}
+
+}
+
+
+//return Server_Resource_Pool;
+
+
+//});
+module.exports = Server_Resource_Pool;