2024-10-18 22:39:29 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html lang="en">
|
|
|
|
|
|
|
|
<head>
|
|
|
|
<meta charset="UTF-8">
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
|
|
<title>Pomodoro Timer</title>
|
2024-10-19 08:08:54 +00:00
|
|
|
<style>
|
|
|
|
button {
|
|
|
|
padding: 10px 20px;
|
|
|
|
margin: 5px;
|
|
|
|
font-size: 16px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#timer {
|
|
|
|
font-size: 24px;
|
|
|
|
margin-top: 20px;
|
|
|
|
}
|
|
|
|
</style>
|
2024-10-18 22:39:29 +00:00
|
|
|
</head>
|
|
|
|
|
|
|
|
<body>
|
|
|
|
<h1>Pomodoro Timer</h1>
|
|
|
|
<div id="timer">Connecting to server...</div>
|
|
|
|
|
2024-10-19 16:15:16 +00:00
|
|
|
<!-- Buttons to start, pause/resume, and stop the timer -->
|
2024-10-19 08:08:54 +00:00
|
|
|
<button id="startButton">Start</button>
|
2024-10-19 16:15:16 +00:00
|
|
|
<button id="pauseResumeButton" style="display: none;">Pause</button>
|
2024-10-20 08:02:00 +00:00
|
|
|
<button id="resetButton" style="display: none;">Reset</button>
|
2024-10-19 08:08:54 +00:00
|
|
|
|
2024-10-18 22:39:29 +00:00
|
|
|
<script>
|
|
|
|
var ws = new WebSocket("ws://localhost:8080/ws");
|
2024-10-19 16:15:16 +00:00
|
|
|
var isPaused = false; // Track if the timer is paused
|
2024-10-18 22:39:29 +00:00
|
|
|
|
2024-10-19 08:08:54 +00:00
|
|
|
ws.onopen = function () {
|
|
|
|
document.getElementById("timer").innerText = "Connected to server.";
|
|
|
|
};
|
|
|
|
|
|
|
|
// Handle incoming messages and update the timer display
|
2024-10-18 22:39:29 +00:00
|
|
|
ws.onmessage = function (event) {
|
2024-10-19 08:08:54 +00:00
|
|
|
var data = JSON.parse(event.data);
|
|
|
|
var mode = data.mode;
|
|
|
|
var session = data.session;
|
|
|
|
var maxSession = data.max_session;
|
|
|
|
var timeLeft = data.time_left;
|
|
|
|
|
|
|
|
document.getElementById("timer").innerText =
|
|
|
|
mode + " Session " + session + "/" + maxSession + ": " + formatTime(timeLeft);
|
2024-10-18 22:39:29 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
ws.onclose = function () {
|
|
|
|
document.getElementById("timer").innerText = "Connection closed.";
|
|
|
|
};
|
2024-10-19 08:08:54 +00:00
|
|
|
|
|
|
|
// Format time in MM:SS
|
|
|
|
function formatTime(seconds) {
|
|
|
|
var minutes = Math.floor(seconds / 60);
|
|
|
|
var remainingSeconds = seconds % 60;
|
|
|
|
return minutes.toString().padStart(2, '0') + ":" + remainingSeconds.toString().padStart(2, '0');
|
|
|
|
}
|
|
|
|
|
2024-10-19 16:15:16 +00:00
|
|
|
// Start Button Click Event
|
2024-10-19 08:08:54 +00:00
|
|
|
document.getElementById("startButton").addEventListener("click", function () {
|
|
|
|
ws.send(JSON.stringify({command: "start"}));
|
2024-10-19 16:15:16 +00:00
|
|
|
|
|
|
|
// Hide start button and show pause/resume and stop buttons
|
|
|
|
document.getElementById("startButton").style.display = "none";
|
|
|
|
document.getElementById("pauseResumeButton").style.display = "inline-block";
|
2024-10-20 08:02:00 +00:00
|
|
|
document.getElementById("resetButton").style.display = "inline-block";
|
2024-10-19 16:15:16 +00:00
|
|
|
|
|
|
|
// Set the pause/resume button to show "Pause" initially
|
|
|
|
isPaused = false;
|
|
|
|
document.getElementById("pauseResumeButton").innerText = "Pause";
|
2024-10-19 08:08:54 +00:00
|
|
|
});
|
|
|
|
|
2024-10-19 16:15:16 +00:00
|
|
|
// Pause/Resume Button Click Event
|
|
|
|
document.getElementById("pauseResumeButton").addEventListener("click", function () {
|
|
|
|
if (isPaused) {
|
|
|
|
// If paused, send resume command and update button text
|
|
|
|
ws.send(JSON.stringify({command: "resume"}));
|
|
|
|
document.getElementById("pauseResumeButton").innerText = "Pause";
|
|
|
|
isPaused = false;
|
|
|
|
} else {
|
|
|
|
// If running, send pause command and update button text
|
|
|
|
ws.send(JSON.stringify({command: "pause"}));
|
|
|
|
document.getElementById("pauseResumeButton").innerText = "Resume";
|
|
|
|
isPaused = true;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2024-10-20 08:02:00 +00:00
|
|
|
// Reset Button Click Event
|
|
|
|
document.getElementById("resetButton").addEventListener("click", function () {
|
2024-10-19 08:08:54 +00:00
|
|
|
ws.send(JSON.stringify({command: "stop"}));
|
2024-10-19 16:15:16 +00:00
|
|
|
|
|
|
|
// Reset buttons after stopping
|
|
|
|
document.getElementById("startButton").style.display = "inline-block";
|
|
|
|
document.getElementById("pauseResumeButton").style.display = "none";
|
2024-10-20 08:02:00 +00:00
|
|
|
document.getElementById("resetButton").style.display = "none";
|
2024-10-19 08:08:54 +00:00
|
|
|
});
|
2024-10-18 22:39:29 +00:00
|
|
|
</script>
|
|
|
|
</body>
|
|
|
|
|
|
|
|
</html>
|