[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[sc-dev] [approve] Internal Server Device

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?


Attachment: internalServerDevice.patch
Description: Binary data