NOTIFY scores on changing them.

diff --git a/html/do-edit-scores.pl b/html/do-edit-scores.pl
index 5db7cbf7cae69de9184cccc26fee688b2dd36007..4c83b7ce538ece6a26a019cbbb8825f83684cf29 100755 (executable)
--- a/html/do-edit-scores.pl
+++ b/html/do-edit-scores.pl
@@ -72,6 +72,8 @@ for my $p ($cgi->param()) {
        }
 }
 
+$dbh->do('NOTIFY scores');
+
 $dbh->commit;
 $dbh->disconnect;