server-tools/instance-manager/thread_registry.h: Fix for the problem, encountered by Ramil
Attach a file by drag & drop or click to upload
