There's no priorities about any of the running threads, or any configuration beyond thunk, thread-name object and that it was started. The only thread operation beyond those two is thread-send and -receive.
2013/5/3 Marc Feeley
<feeley@iro.umontreal.ca>
Could you describe the threads that are running? Are they of different priorities, and if so, what are they?
Marc
P.S. For bugs like this, could you use the github issue tracker? It will simplify tracking the issue.