I think that we should be supporting the possibility of symbol preemption. So please could you try out the uploaded patch and let me know if it resolves the problem for you.
Cheers
Nick
PS. Hmm, I wonder if we should support a command line feature to enable/disable this behaviour, and what the default setting should be...
Hi Dave,
I think that we should be supporting the possibility of symbol preemption. So please could you try out the uploaded patch and let me know if it resolves the problem for you.
Cheers
Nick
PS. Hmm, I wonder if we should support a command line feature to enable/disable this behaviour, and what the default setting should be...