[Tinyos Core WG] arbiter issues

[Philip Levis]

The last telecon brought up a bunch of issues with the arbiters. I  
tested the cases described (request while holding) and it seemed to  
work fine. I searched through the commit archives and couldn't find  
any recent changes. Did I miss a check-in, did I misunderstand the  
bug, or did I not tickle it properly? My code was simple:

boot:
   request resource

granted:
   request resource

timer:
   release resource

Phil