Comment 9 for bug 725126

Revision history for this message
In , Nickc (nickc) wrote :

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...