fixed resync_do.php

Florian Schaal

2014-10-24 712363b14c4adcd0e9f5c0d2ea286471665f8d1c

 interface/web/tools/resync_do.php

@@ -69,7 +69,7 @@
         } else {
            $temp = $app->db->queryOneRecord("SELECT server_name FROM server WHERE server_id = ".$server_id);
            $server_name[$server_id] = $temp['server_name'];
            unset($temp)
            unset($temp);
         }
            
         if ( isset($tmp_id) ) $server_id = rtrim($tmp_id,',');