Add timer end checking

timer.js

@@ -8,6 +8,8 @@ class Timer {
   constructor(renderer, timer_data) {
     this.renderer = renderer;
     this.destroying = false;
+    this.ended = false;
+
     //TEMP
     this.temptime = 15;
 
@@ -34,7 +36,18 @@ class Timer {
     this.leaderboard = timer_data.leaderboard;
   }
 
+  check_ended() {
+    if (!this.ended && this.end_at < new Date()) {
+      this.ended = True;
+      this.renderer.finale();
+    }
+    return this.ended;
+  }
+
   render_time() {
+    if (this.check_ended()) {
+      return;
+    }
     this.renderer.render_time(
       //TEMP
       this.temptime
@@ -43,6 +56,9 @@ class Timer {
   }
 
   render() {
+    if (this.check_ended()) {
+      return;
+    }
     // Render goal
 
     if (this.next_goal != null) {