merging from developer branch to fix manual frequency setting problem, for real this...
[debian/gnuradio] / omnithread / vxWorks.cc
2007-01-30 ebMerged eb/omni -r4315:4327 into trunk.