braid-text 0.0.4 → 0.0.5

package/README.md

@@ -105,7 +105,11 @@ server.on("request", (req, res) => {
     },
     generate_local_diff_update: (prev_state) => {
 
-      // Compute diff between prev_state ^ and the current textarea string...
+      // Compute diff between prev_state ^ and the current textarea string,
+      // which might look like [{
+      //   range: [5:5],
+      //   content: " World"
+      // }] to insert something after a prev_state of "Hello"
 
       // Then return the new state (as a string) and the diff (as `patches`)
       return {new_state, patches}

package/index.js

@@ -483,6 +483,15 @@ braid_text.put = async (key, options) => {
     await resource.db_delta(resource.doc.getPatchSince(v_before))
 }
 
+braid_text.list = async () => {
+    var pages = new Set()
+    for (let x of await require('fs').promises.readdir(braid_text.db_folder)) {
+        let m = x.match(/^(.*)\.\d+$/)
+        if (m) pages.add(decode_filename(m[1]))
+    }
+    return [...pages.keys()]
+}
+
 async function get_resource(key) {
     let cache = get_resource.cache || (get_resource.cache = {})
     if (cache[key]) return cache[key]
@@ -496,7 +505,7 @@ async function get_resource(key) {
     let { change, delete_me } = braid_text.db_folder
         ? await file_sync(
             braid_text.db_folder,
-            encodeURIComponent(key),
+            encode_filename(key),
             (bytes) => resource.doc.mergeBytes(bytes),
             () => resource.doc.toBytes()
         )
@@ -1260,4 +1269,30 @@ function codePoints_to_index(str, codePoints) {
     return i
 }
 
+function encode_filename(filename) {
+  // Replace all '!' with '%21'
+  let encoded = filename.replace(/!/g, '%21');
+  
+  // Encode the filename using encodeURIComponent()
+  encoded = encodeURIComponent(encoded);
+  
+  // Replace all '%2F' (for '/') with '!'
+  encoded = encoded.replace(/%2F/g, '!');
+  
+  return encoded;
+}
+
+function decode_filename(encodedFilename) {
+  // Replace all '!' with '%2F'
+  let decoded = encodedFilename.replace(/!/g, '%2F');
+  
+  // Decode the filename using decodeURIComponent()
+  decoded = decodeURIComponent(decoded);
+  
+  // Replace all '%21' with '!'
+  decoded = decoded.replace(/%21/g, '!');
+  
+  return decoded;
+}
+
 module.exports = braid_text

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "braid-text",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "description": "Library for collaborative text over http using braid.",
   "author": "Braid Working Group",
   "repository": "braid-org/braidjs",

package/server-demo.js

@@ -27,11 +27,7 @@ var server = require("http").createServer(async (req, res) => {
     // which displays all the currently used keys
     // 
     // if (req.url === '/pages') {
-    //     var pages = new Set()
-    //     for (let x of await require('fs').promises.readdir(db_folder)) {
-    //         let m = x.match(/^(.*)\.\d+$/)
-    //         if (m) pages.add(decodeURIComponent(m[1]))
-    //     }
+    //     var pages = await braid_text.list()
     //     res.writeHead(200, {
     //         "Content-Type": "application/json",
     //         "Access-Control-Allow-Origin": "*",
@@ -39,7 +35,7 @@ var server = require("http").createServer(async (req, res) => {
     //         "Access-Control-Allow-Headers": "*",
     //         "Access-Control-Expose-Headers": "*"
     //     })
-    //     res.end(JSON.stringify([...pages.keys()]))
+    //     res.end(JSON.stringify(pages))
     //     return
     // }