From b8f8819f2c87bc8f78a00f2e21c8ce1f2b23da85 Mon Sep 17 00:00:00 2001 From: Martijn van der Ven Date: Sat, 11 Jul 2026 16:20:26 +0200 Subject: [PATCH 1/3] Add -p/--port option to the dev server Co-Authored-By: Brian Tremblay --- app.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/app.py b/app.py index 808c04c..0f29ceb 100644 --- a/app.py +++ b/app.py @@ -66,7 +66,16 @@ def fetch_mf2(url): default=False, help="Run application in debug mode", ) + parser.add_option( + "-p", + "--port", + action="store", + type="int", + dest="port", + default=8080, + help="Change dev server port (default is 8080)", + ) (options, args) = parser.parse_args() if options.debug: - app.run(debug=True, port=8080) + app.run(debug=True, port=options.port) From fdee07f63de441926d01a945bcb8388915a00964 Mon Sep 17 00:00:00 2001 From: Martijn van der Ven Date: Sat, 11 Jul 2026 16:20:48 +0200 Subject: [PATCH 2/3] Add lang attribute and require URL/HTML inputs Co-Authored-By: Brian Tremblay --- templates/index.jinja2 | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/templates/index.jinja2 b/templates/index.jinja2 index 8391093..d2a8004 100644 --- a/templates/index.jinja2 +++ b/templates/index.jinja2 @@ -1,5 +1,5 @@ - + @@ -52,7 +52,7 @@
- +
@@ -79,7 +79,7 @@
- +
From 7a3cd5777dd4a4c17873c19eef13665c800d524b Mon Sep 17 00:00:00 2001 From: Martijn van der Ven Date: Sat, 11 Jul 2026 16:21:13 +0200 Subject: [PATCH 3/3] Fix duplicate id attributes in the two forms --- templates/index.jinja2 | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/templates/index.jinja2 b/templates/index.jinja2 index d2a8004..57e5a10 100644 --- a/templates/index.jinja2 +++ b/templates/index.jinja2 @@ -83,13 +83,13 @@
- - + +
- -