OfekShilon
commented
1 year ago @AntonYudintsev thank you very much for this! As far as I can test - this is working properly.
This is the 1st PR I'm merging into my own repo, and the GitHub UI seems to force me to associate my own user with the merge commit. I hope yours would appear in the right places in the files themselves.
Based on https://github.com/OfekShilon/optview2/pull/21 discussion.
add empty lock for windows and start a new demangler for each process. It is arguably not the worst solution even on other platforms, as Locks are not free, and for many files it is probably better to have demangler per process, rather than Lock them
replace \ with in generated HTMLs, to produce correct filenames on windows