background parser during shutdown

Hi,

Just a quick question. The background parser (kdevplatform/backgroundparser/backgroundparser.cpp) has a provision that causes it to ignore documents queued for parsing when KDevelop is shutting down, via simple state member variable.

It doesn't use that same flag to stop adding new documents in BackgroundParser::addDocument() (I observed at least the active document being added twice during shutdown). Is there a specific reason for that?

R.