Map Server as a Service

netsec-ethz / fpki

4 stars 1 forks source link

Map Server as a Service #44

Closed juagargi closed 7 months ago

juagargi commented 1 year ago

There should exist a mapserver binary that can be run as a service, with its systemd service file and all.

Tasks TODO:

[x] Merge #43
[x] Create new binary that represents the service
[x] Create configuration under /etc/fpki/mapserver.conf
[x] Allow shutting down via SIGTERM
[x] Automatically find the current size and retrieve remaining
[x] Create timer for pruning
[x] Create timer for updating
[x] Examine the options to report errors

This PR closes #26

This change is

juagargi commented 11 months ago

[x] Examine the options to report errors

We can use Prometheus (ideal) or a script to send an email in our server if the systemd service crashes. For now, I've created a systemd service file.