Device Managerエージェントのプロパティファイルには,Device Managerエージェントの動作に関するプロパティファイルやReplication Managerサーバとの連携に関するプロパティファイルなどがあります。
Device Managerエージェントのプロパティファイルを次の表に示します。
表D-1 Device Managerエージェントのプロパティファイル
プロパティファイル | 説明 |
---|---|
agent.propertiesファイル | Device ManagerエージェントとReplication Managerサーバとの連携に関するプロパティファイルです。 |
hldutil.propertiesファイル | Device Managerエージェントのhldutilコマンドの動作に関するプロパティファイルです。 |
logger.propertiesファイル | Device Managerエージェントのログ出力に関するプロパティファイルです。 |
programproductinfo.propertiesファイル | Device Managerエージェントのプログラム情報に関するプロパティファイルです。 |
server.propertiesファイル | Device Managerエージェントの動作に関するプロパティファイルです。 |
D.1.1 Device Managerエージェントのプロパティの変更
Device Managerエージェントのプロパティファイルは,テキストエディターを使用して編集します。
事前に完了しておく操作
Device Managerエージェントのプロパティを変更するには:
関連項目