World_OpenMachPorts

[stefan kersten-2]

World_OpenMachPorts has been disabled in main() for quite some time.  
can this platform specific functionality be removed? it's not hurting  
anybody, but it's cluttering the server interface header for no  
apparent reason ...

<sk>

_______________________________________________
Sc-devel mailing list
Sc-devel@...
http://lists.create.ucsb.edu/mailman/listinfo/sc-devel