indexResource();\r
}\r
}\r
+ \r
+ // Cleanup stuff that was deleted at some point\r
+ List<String> guids = conn.getWordsTable().getGuidList();\r
+ logger.log(logger.LOW, "GUIDS in index: " +guids.size());\r
+ for (int i=0; i<guids.size() && keepRunning; i++) {\r
+ if (!conn.getNoteTable().exists(guids.get(i))) {\r
+ logger.log(logger.LOW, "Old GUID found: " +guids.get(i));\r
+ conn.getWordsTable().expunge(guids.get(i));\r
+ }\r
+ }\r
+ \r
if (started && keepRunning) \r
signal.indexFinished.emit();\r
}\r