added local play by pressing cancel on the JS prompt

removed the uncessesary null check in the validate_name

static/leaderboard/index.html

@@ -15,8 +15,9 @@
 		<p>Total number of resets and personal bests of each username</p>
 		<div id="pingscore-table"></div>
 	</body>
+	<script src="/address.js"></script>
 	<script>
-		const ws = new WebSocket('ws://deadvey.com:8084/ws-leaderboard');
+		const ws = new WebSocket(`ws://${ADDRESS}:8084/ws-leaderboard`);
 		const regex = new RegExp("^[a-zA-Z0-9_-]+$");
 		ws.onopen = (event) => {
 			ws.send('0'); // send all