プロキシ情報を更新するには、Windows Management Instrumentation(WMI)Mapperプロキシを編集します。プロキシは、1つずつしか編集できません。
WMI Mapperプロキシの追加、変更、削除を行うには、完全な設定権が必要です。
WMI Mapperプロキシを編集するには、次のように操作します。
[オプション][プロトコル設定][WMI Mapperプロキシ]を選択します。
編集するプロキシを選択し、[編集]をクリックします。[WMI Mapperプロキシの編集]セクションが表示されます。
[ポート番号]フィールドで、ポート番号を変更します。WMI Mapperプロキシは、このポート番号を使用して、WMIクライアントとやり取りします。
保存するには[OK]をクリックします。編集操作を中止するには、[キャンセル]をクリックします。