Device Managerサーバへのアクセスに関するプロパティは,devicemanager.propertiesファイルに含まれています。
B.5.1 hdvm.protocol
Device Managerサーバにアクセスするときに使用するプロトコルを指定します。
デフォルト:http
B.5.2 hdvm.port
アクセスするDevice Managerサーバのポート番号を指定します。
Device Managerサーバのserver.http.portプロパティに指定した値と同じ値を指定する必要があります。
デフォルト:2001
関連項目
B.5.3 hdvm.timeout
アクセスするDevice Managerサーバと通信するときのタイムアウトまでの時間をミリ秒で指定します。
0を指定すると,タイムアウトしない設定になります。
指定できる値の範囲は,0~2,147,483,647です。
デフォルト:0
B.5.4 hdvm.rmi.port
Device ManagerのRMIサーバのポート番号を指定します。
Device Managerサーバのserver.rmi.portプロパティに指定した値と同じ値を指定する必要があります。
デフォルト:23055
関連項目