Ice 3.0.0 IceGrid/ServerI.cpp bug

ZeroC,

file: Ice-3.0.0/src/IceGrid/ServerI.cpp

line: 1330

using `set_difference' incorrectly removes config files:-

icegridnode: warning: knownFiles
`config'
`config_SessionRegistryService'
`config_SubjectRegistryService'
`config_MarkerRegistryService'
`config_EnrolmentRegistryService'
`config_LogService'


icegridnode: warning: files
`config'
`config_EnrolmentRegistryService'
`config_LogService'
`config_MarkerRegistryService'
`config_SessionRegistryService'
`config_SubjectRegistryService'


icegridnode: warning: toDel
`config_EnrolmentRegistryService'
`config_LogService'
`config_MarkerRegistryService'

Workaround: insert something like the following before call to set_difference.
sort( knowFiles.begin(); knownFiles.end(), less<string>() );

Regards

Hi Stuart,

Thanks for the detailed bug report! I will post a patch later today.

Benoit.