SymbolServer.jl
SymbolServer.jl copied to clipboard
Make sure symbol server runs with the startup script
For now I disabled it because it screwed up our communication, but really it should run. So we might fix after we have moved to some different communication model.
We could run it now again, it would no longer screw up the communication aspect.
BUT, I'm tempted to still not run it, given that it can mess up everything... Just seems too unreliable to me.