[sc-dev] [approve] Internal Server Device

[Ryan Brown <ryan@xxxxxxxxx>]

There is an annoying bug which results in the internal server's  
device (as set through it's ServerOptions) not being respected.

For example: Server.internal.options.device = "Aggregate Device" will  
do nothing.

The same problem occurs with the inputStreamsEnabled and  
outputStreamsEnabled options. A patch is attached that fixes this;  
the problem was that prBootInProcessServer does not pass these  
options to World_New.

Could someone check this in?

Thanks,
Ryan

Attachment: internalServerDevice.patch
Description: Binary data