どのようにして Polyspace のデフォルトWeb Server ポート番号 8080 を変更しますか？

2014 2 24
1 个回答
回答已采纳
更新时间：2016 11 18
2 次查看（30 天）

0 个投票

Polyspace のデフォルトWeb Server ポート番号を 8080 から 任意の番号へ変更したいと考えています。下記Microsoft社のリンク(<http://technet.microsoft.com/en-us/sysinternals/bb897437.aspx> )から TCPViewと呼ばれるユーティリティでマシン上のTCP接続をモニタリングすることによって確認しておりますが、どのプロセスもローカルポート8080を現在使っているようには見られませんが、Polyspace Web Metrics を開こうとすると、下記エラーメッセージがブラウザ上に表示されてしまいます。
HTTP 404 "File not found"
また、catalina.out (Tomcat web server log file) には下記エラーメッセージが含まれています。
SEVERE: Error starting endpoint
java.net.SocketException: Unrecognized Windows Sockets error: 0: JVM_Bind
SEVERE: Catalina.start
LifecycleException: service.getName(): "Catalina"; Protocol handler start failed: java.net.SocketException:
Unrecognized Windows Sockets error: 0: JVM_Bind

请先登录，再回答此问题。

 采纳的回答

0 个投票

Web server port number をデフォルトの 8080 から変更する方法についてですが、下記手順を実行してください。
1) Polyspace GUI 上から、 [Options] > [Preferences] にて、 Polyspace Preferences を開きます。
2) Sever Configuration タブより、 Web server port number を変更することが可能です。例: 8088
3) <Polyspace_RLDatas>\tomcat\conf 内部にある server.xml を開きます。
4) server.xml を開き、下記記述のConnector port の箇所を 8088 に変更します
<?xml version="1.0" encoding="UTF-8"?>
<Server port="8005" shutdown="SHUTDOWN">
<Service name="Catalina">
<Connector port="8080"/>
5) Polyspace Remote Launcher Manager を起動し、 Daemon を再スタートします。
[Stop Daemon] -> [Start Daemon] の順序となります。
6) Polyspace で解析を行います。
オプションは、上で示した 3つのオプションにチェックを入れてください。
Machine Configuration -> Send to Polyspace Server
Machine Configuration -> Add to results repository
Coding Rules & Code Metrics -> Calculate code complexity metrics

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 起動と終了 的更多信息

产品

版本

尚未输入任何版本。

标签

尚未输入任何标签。

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!