ライセンスサーバー設定の変更

ライセンスサーバーのホストとポートの情報は、通常はインストール時に設定されます。しかし、この情報が変更された場合は、[設定] ダイアログで更新する必要があります ([Klocwork] > [オプション] > [Klocwork] > [全般])。