mp3 replaced by ogg

+ value of radio button discared, because never used

src/client/audio.ts

@@ -2,12 +2,12 @@
 import * as c from "./constants.js"
 
 export const soundPongArr: HTMLAudioElement[] = [];
-export const soundRoblox = new Audio("http://localhost:8080/sound/roblox-oof.mp3");
+export const soundRoblox = new Audio("http://localhost:8080/sound/roblox-oof.ogg");
 
 export function initAudio(muteFlag: boolean)
 {
 	for	(let i = 0; i <= 32; i++) {
-		soundPongArr.push(new Audio("http://localhost:8080/sound/pong/"+i+".mp3"));
+		soundPongArr.push(new Audio("http://localhost:8080/sound/pong/"+i+".ogg"));
 		soundPongArr[i].volume = c.soundPongVolume;
 		soundPongArr[i].muted = muteFlag;
 	}

src/client/pong.html

@@ -21,9 +21,9 @@
 				</div>
 				<div>
 					<label>sound :</label>
-					<input type="radio" id="sound_on" name="sound_selector" value="on" checked>
+					<input type="radio" id="sound_on" name="sound_selector" checked>
 					<label for="sound_on">on</label>
-					<input type="radio" id="sound_off" name="sound_selector" value="off">
+					<input type="radio" id="sound_off" name="sound_selector">
 					<label for="sound_off">off</label>
 				</div>
 				<div>

src/server/server.ts

@@ -28,6 +28,9 @@ const server = http.createServer((req, res) => {
 		else if (path.extname(filename) === ".mp3") {
 			res.writeHead(200, {"Content-Type": "audio/mpeg"});
 		}
+		else if (path.extname(filename) === ".ogg") {
+			res.writeHead(200, {"Content-Type": "audio/ogg"});
+		}
 		res.write(data);
 		return res.end();
 	});