Missing "exit" on patch tool when patch is missing

Marius Cramer

2015-03-26 842bf55981aebd9a55d6330346769ea5b93f8e4b

 interface/web/tools/lib/menu.d/resync.menu.php

@@ -11,7 +11,6 @@
      'target'  => 'content',
      'link' => 'tools/resync.php');


   $module['nav'][] = array( 'title' => 'Sync Tools',
      'open'  => 1,
      'items' => $items);