From ea60182e4b472a18d42c2436a69afa9bc734c68b Mon Sep 17 00:00:00 2001
From: Martin Morgenstern <martin.morgenstern1@tu-dresden.de>
Date: Mon, 6 Feb 2023 11:26:53 +0100
Subject: [PATCH] Url-quote document ids in HTTP requests

---
 codimd_export.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/codimd_export.py b/codimd_export.py
index 6448d2c..cfb60d1 100755
--- a/codimd_export.py
+++ b/codimd_export.py
@@ -7,6 +7,7 @@ import json
 import sys
 from pathlib import Path
 from urllib.error import HTTPError
+from urllib.parse import quote
 from urllib.request import Request, urlopen
 
 if not sys.platform.startswith("win"):
@@ -44,7 +45,7 @@ def main(instance_url, session_id, export_to):
     num_ok = num_fail = 0
     for row in data["history"]:
         document_id = row["id"]
-        document_url = f"{instance_url}/{document_id}"
+        document_url = f"{instance_url}/{quote(document_id)}"
         try:
             contents = slurp(f"{document_url}/download", session_id)
             with open(Path(target_dir, f"{document_id}.md"), mode="wb") as stream:
-- 
GitLab