| 914 | flag = true; |
| 915 | } |
| 916 | ~DocOpenGuard() { |
| 917 | if(flag) { |
| 918 | flag = false; |
| 919 | try { |
| 920 | signal(); |
| 921 | } |
| 922 | catch (const boost::exception&) { |
| 923 | // reported by code analyzers |
| 924 | Base::Console().warning("~DocOpenGuard: Unexpected boost exception\n"); |
| 925 | } |
| 926 | } |
| 927 | } |
| 928 | }; |
| 929 | |
| 930 | Document* Application::openDocument(const char * FileName, DocumentInitFlags initFlags) { |