summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
8 daysupdate git when shutting downHEADmasterErich Eckner
2024-11-06computer-time-limit: try 30 seconds to check the yubikeyErich Eckner
2024-11-06computer-time-limit.php: check db for whether a host is non-null when queryin...Erich Eckner
2024-11-06computer-time-limit: silence cd outputErich Eckner
2024-11-05do not reference arguments by number, rather use global variablesErich Eckner
2024-11-05cap negative timesErich Eckner
2024-11-05do not wait for git indefinitelyErich Eckner
2024-11-05sqlite3 doesn't know base64, but only hexErich Eckner
2024-11-04check yubikey if possibleErich Eckner
2024-11-04refactoringErich Eckner
2024-11-04php vereinheitlichen, SQL injections verhindernErich Eckner
2024-11-04add openmetrics formatErich Eckner
2024-05-05computer-time-limit.php: set correct time zoneErich Eckner
2024-05-03computer-time-limit.php: no computer time at week days before 16:00Erich Eckner
2024-04-11computer-time-limit: shut down computer if user is not logged out after 1 minuteErich Eckner
2024-03-23computer-time-limit: update before lockingErich Eckner
2024-03-23computer-time-limit: terminate the correct thingErich Eckner
2024-03-16added example config fileStefanie Eckner
2024-03-16added systemd service fileStefanie Eckner
2024-03-16simplify termination of sessionStefanie Eckner
2024-03-16fix bug: swapped key file and userStefanie Eckner
2024-03-16update table: it contains the host now, tooStefanie Eckner
2024-03-16send hostname, tooStefanie Eckner
2024-03-16supress verbose outputStefanie Eckner
2024-03-16read users from configStefanie Eckner
2024-03-14so geht's vllt. per systemdErich Eckner
2024-02-17computer-time-limit.php: $now is not known inside log_to_file()Erich Eckner
2024-02-17computer-time-limit.php: use a single timeStefanie Eckner
2024-02-17log the things that actually go to the dbStefanie Eckner
2024-02-06computer-time-limit.php: add timestampErich Eckner
2024-02-05computer-time-limit.php: append to logErich Eckner
2024-02-05computer-time-limit.php: add loggingErich Eckner
2024-01-09gegen negative Zeiten rüstenErich Eckner
2024-01-09fix indentationErich Eckner
2024-01-08alle Ansagen 30 Sekunden eherErich Eckner
2024-01-07mehr Stops sendenErich Eckner
2024-01-01less frequent updatesErich Eckner
2023-12-31bei Netzwerkfehlern trotzdem Zeit weiter zählenStefanie Eckner
2023-12-30client: really log outStefanie Eckner
2023-12-30client: remove debug outputStefanie Eckner
2023-12-30server: zeige, ob aktivStefanie Eckner
2023-12-30Client vllt. auch fertigStefanie Eckner
2023-12-30server: base64-encode to preserve "+"Stefanie Eckner
2023-12-30server nun wirklich auf signify umgebautStefanie Eckner
2023-12-30server auf signify umgebautStefanie Eckner
2023-12-30Einrückung repariertStefanie Eckner
2023-12-30wenn keine Zeit mehr übrig, dann abschaltenStefanie Eckner
2023-12-30key-update:Stefanie Eckner
2023-12-30upload key(s)Stefanie Eckner
2023-12-30only git pull, if git source is oursStefanie Eckner