Added a bit of signal/interrupt managing to recollprod. Added common property

sheet (not used yet).

--HG--
branch : WINDOWSPORT

src/qtgui/main.cpp

@@ -164,14 +164,6 @@ static void recollCleanup()
     LOGDEB2(("recollCleanup: done\n"));
 }
 
-static void sigcleanup(int)
-{
-    // We used to not call exit from here, because of the idxthread, but
-    // this is now gone, so...
-    recollNeedsExit = 1;
-    exit(1);
-}
-
 void applyStyleSheet(const QString& ssfname)
 {
     const char *cfname = (const char *)ssfname.toLocal8Bit();
@@ -305,7 +297,7 @@ int main(int argc, char **argv)
 
 
     string reason;
-    theconfig = recollinit(recollCleanup, sigcleanup, reason, &a_config);
+    theconfig = recollinit(recollCleanup, 0, reason, &a_config);
     if (!theconfig || !theconfig->ok()) {
 	QString msg = "Configuration problem: ";
 	msg += QString::fromUtf8(reason.c_str());