Device Managerサーバのプロパティファイルには,Device Managerの構成情報に関するプロパティファイルやデータベースに関するプロパティファイルなどがあります。
Device Managerサーバのプロパティファイルを次の表に示します。
表A-1 Device Managerサーバのプロパティファイル
プロパティファイル | 説明 |
---|---|
server.propertiesファイル | Device Managerサーバの構成情報に関するプロパティファイルです。
|
database.propertiesファイル | Device Managerのデータベースに関するプロパティファイルです。
|
logger.propertiesファイル | Device Managerのログ出力に関するプロパティファイルです。 |
dispatcher.propertiesファイル | Device Managerのスレッドに関するプロパティファイルです。 |
mime.propertiesファイル | Device ManagerのMIME(Multipurpose Internet Mail Extensions)に関するプロパティファイルです。 |
client.propertiesファイル | Device ManagerのGUIに関するプロパティファイルです。 |
customizedsnmptrap.propertiesファイル | Device ManagerのSNMPトラップのログ出力に関するプロパティファイルです。 |
launchapp.propertiesファイル | Device Managerからラウンチするアプリケーションに関するプロパティファイルです。 |
host.propertiesファイル | ホストとの通信に関するプロパティファイルです。 |
hostdatacollectors.propertiesファイル | Host Data Collectorとの連携に関するプロパティファイルです。 |
migration.propertiesファイル | マイグレーションに関するプロパティファイルです。 |
tuningmanager.propertiesファイル | Tuning Managerとの連携に関するプロパティファイルです。 |
replication.propertiesファイル | Universal Replicatorの性能分析に関するプロパティファイルです。 |
rpmlib.propertiesファイル | Replication Managerとの連携に関するプロパティファイルです。 |
| CIM/WBEM機能に関するプロパティファイルです。 |
A.1.1 Device Managerサーバのプロパティの変更
Device Managerサーバのプロパティファイルは,テキストエディターを使用して編集します。
事前に完了しておく操作
Device Managerサーバのプロパティを変更するには:
関連項目
A.1.2 Device Managerサーバのプロパティファイルの記述規則
プロパティファイルは,Javaプロパティファイル形式です。
プロパティファイルは,次の記述規則に従って作成されている必要があります。