tree 9d08718785988285769057788a94949d1e911850
parent 7a4a17b7782067546a73c76cb857406cca44603b
author Andrey Loskutov <loskutov@gmx.de> 1479822193 +0100
committer Sergey Prigogin <eclipse.sprigogin@gmail.com> 1479836246 -0400

Bug 406814 - NPE in FileSystemResourceManager

Check if the RefreshManager is null: it can be already cleaned up on
shutdown.

Change-Id: Idd31c38c6e2b535e32c84edfed334a859192da58
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>