# HG changeset patch # User Matti Hamalainen # Date 1446674750 -7200 # Node ID 720078ca799e5dd18ea00698ab533988b29c0864 # Parent fd957c37fd8058514b7b5f3ba86e361efb2aba39 Oops, a missing bracket. Fixed. diff -r fd957c37fd80 -r 720078ca799e faptool.php --- a/faptool.php Wed Nov 04 23:12:57 2015 +0200 +++ b/faptool.php Thu Nov 05 00:05:50 2015 +0200 @@ -683,6 +683,7 @@ case SIGINT: $flagQuit = TRUE; break; + } }