Upload 9 files

src/services/auth.js

@@ -130,7 +130,11 @@ export async function checkInstructorPermission(user) {
 
     if (snap.exists()) {
         const data = snap.data();
-        await updateDoc(instructorRef, { lastLogin: serverTimestamp() });
+        try {
+            await updateDoc(instructorRef, { lastLogin: serverTimestamp() });
+        } catch (e) {
+            console.warn("Failed to update lastLogin (likely permission), proceeding anyway.", e);
+        }
         return data;
     }
 

src/views/InstructorView.js

@@ -340,37 +340,38 @@ export function setupInstructorEvents() {
     // Utility for cleaning prompt indentation
     function stripIndent(str) {
         if (!str) return '';
-        // 1. Split into lines
-        let lines = str.split('\n');
 
-        // 2. Remove leading empty lines (often result of template literals)
-        while (lines.length > 0 && lines[0].trim() === '') {
-            lines.shift();
-        }
+        // 1. Normalize line endings
+        str = str.replace(/\r\n/g, '\n');
 
-        // 3. Remove trailing empty lines
-        while (lines.length > 0 && lines[lines.length - 1].trim() === '') {
-            lines.pop();
+        // 2. Remove initial empty lines
+        while (str.startsWith('\n')) {
+            str = str.slice(1);
         }
 
+        // 3. Remove trailing whitespaces
+        str = str.trimEnd();
+
+        // 4. Split
+        const lines = str.split('\n');
         if (lines.length === 0) return '';
 
-        // 4. Find min indent
-        const minIndent = lines.reduce((min, line) => {
-            if (!line.trim()) return min; // Ignore empty lines
-            const match = line.match(/^ */);
-            const indent = match ? match[0].length : 0;
-            return Math.min(min, indent);
-        }, Infinity);
+        // 5. Find common indent
+        let minIndent = null;
+        for (const line of lines) {
+            if (line.trim().length === 0) continue; // Skip empty lines
+            const currentIndent = line.match(/^\s*/)[0].length;
+            if (minIndent === null || currentIndent < minIndent) {
+                minIndent = currentIndent;
+            }
+        }
 
-        if (minIndent === Infinity) return str.trim();
+        if (minIndent === null) return str; // All lines empty
 
-        // 5. Strip indent
+        // 6. Build result
         return lines.map(line => {
-            if (line.length >= minIndent) {
-                return line.slice(minIndent);
-            }
-            return line;
+            if (line.trim().length === 0) return '';
+            return line.slice(minIndent);
         }).join('\n');
     }