Fixed issue of app links breaking when the app name has uppercase letters

Author: anandology

app.py

@@ -1,4 +1,4 @@
-from flask import Flask, render_template, abort, jsonify
+from flask import Flask, render_template, abort, jsonify, redirect
 from jinja2 import Markup
 from db import App
 import web
@@ -29,6 +29,8 @@ def app_page(name):
     app = App.find(name)
     if not app:
         abort(404)
+    if app.name != name:
+        return redirect(f"/{app.name}")
     return render_template("app.html", app=app, tasks=TASKS)
 
 @app.route("/<name>/deploy", methods=["POST"])

db.py

@@ -26,7 +26,8 @@ def find_all(cls):
 
     @classmethod
     def find(cls, name):
-        row = db.where("app", name=name).first()
+        row = db.query("SELECT * FROM app WHERE lower(name)=lower($name)",
+                       vars={"name": name}).first()
         if row:
             return cls(row)
 

templates/app.html

@@ -34,6 +34,7 @@ <h1 class="mb-0">{{app.name}}</h1>
       <a href="https://{{ app.name }}.rajdhani.pipal.in" class="text-decoration-none" target="_blank">
         Visit website
       </a>
+      | <a href="https://github.com/{{app.name}}/rajdhani">Github</a>
     </div>
     <div>{{app.score}} tasks completed | Current Task: {{ app.current_task }} | Last updated {{datestr(app.last_updated) }}</div>
   </div>