prevention: catch invalid exceptions using ...

pub/src/frida2.cpp

@@ -590,6 +590,9 @@ int main()
         } catch( string& s ) {
             cerr << s << endl;
             NRead::clear();
+        } catch( ... ) {
+            cerr << "DOUBLE BUG: catched invalid exception\n";
+            NRead::clear();
         }
         time_cmd = ((double) (clock() - clock_cmd_i)) / CLOCKS_PER_SEC;
     } // end main command loop