annotate rlgwebd-stop @ 198:ea28353d620a

Make sure games have saved and exited before stopping the server. This should make the systemd version safe for production, though it can't yet deal with a game that hangs and doesn't exit.
author John "Elwin" Edwards
date Thu, 28 Jan 2016 21:17:06 -0500
parents 3bdee6371c3f
children a7cc38a0168d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
193
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
1 #!/usr/bin/env node
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
2
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
3 var net = require('net');
194
5483d413a45b RLGWebD: move the control socket into /var/run.
John "Elwin" Edwards
parents: 193
diff changeset
4 var sockpath = "/var/run/rlgwebd.sock";
193
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
5
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
6 var sock = net.connect(sockpath, function () {
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
7 sock.on('close', function () {
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
8 if (process.argv[2] == "debug")
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
9 console.log("Control socket closed");
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
10 });
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
11 sock.write("quit\n");
80ca029f0906 Add a script to stop RLGWebD.
John "Elwin" Edwards
parents:
diff changeset
12 });