use preferences for listen management

[brisk.git] / web / index.php

diff --git a/web/index.php b/web/index.php
index 3ac428a..269b1fc 100644 (file)
--- a/web/index.php
+++ b/web/index.php
@@ -1052,7 +1052,6 @@ var g_tables_appr_n = <? echo TABLES_APPR_N; ?>;
 var g_tables_auth_n = <? echo TABLES_AUTH_N; ?>;
 var g_tables_cert_n = <? echo TABLES_CERT_N; ?>;
 var g_prefs, g_prefs_new = null;
-var g_listen;
 var g_jukebox = null;
 var g_is_spawn = 0;
 var g_nd = null;
@@ -1222,7 +1221,6 @@ cookie_law(null);
    var g_tables_auth_n = <? echo TABLES_AUTH_N; ?>;
    var g_tables_cert_n = <? echo TABLES_CERT_N; ?>;
    var g_prefs, g_prefs_new = null;
-   var g_listen;
    var g_is_spawn = 0;
    var g_jukebox = null;
    var g_imgct = 0;