5.1 config.properties は、5.2 config.properties ファイルへ移行されます。この移行では、5.1 ファイルに入っている各プロパティーの値が、5.2 config.properties ファイルに入っているプロパティーの値と比較されます。値が同じであれば、そのプロパティは無視されます。値が異なる場合は、5.1 の値が 5.2 の config.properties ファイルにコピーされます。プロパティが、5.1 バージョンのファイルに存在するが、5.2 バージョンのファイルには存在しない場合は、5.1 バージョンの値が 5.2 バージョンのファイルに追加されます。次に示すプロパティの値は、5.2 バージョンの config.properties ファイルに移行されません。
webserver.TomcatHome
rsrc.localrepo
db.port
db.password
db.hostname
db.instancename
db.username
db.type
db.maxconnections
hostdb.ms.ipaddress
hostdb.ms.port
note.mailsubject
net.server.nconn
net.server.type.1
net.server.ip.1
net.server.port.1
net.server.parms.1
note.url
pe.defaultUserToRunAs
hostdb.ms.connectiontype
pe.maxSimulPlans
5.1 のプロパティーファイルでこれらのプロパティーのいずれかの値を変更した場合は、5.2 config.properties ファイルの値を手動で変更する必要があります。