如何在Dart编辑器中更改默认端口号

如何在Dart编辑器中更改服务器套接字端口号？因为本地tomcat使用的是8080。 更新到1.5.0版后，此端口似乎从3030更改为8080

    --- 9:41:37 AM Starting pub serve : podium ---
    Loading source assets... (0.6s)
    Loading di transformers... (2.2s)
    Loading angular transformers... (0.9s)
    Failed to create server socket (OS Error: An attempt was made to access a socket in a way    forbidden by its access permissions.
, errno = 10013), address = 127.0.0.1, port = 8080

---

您可以从命令行手动运行pub-serve

pub-serve--port 1234

，并使用自定义启动配置和指向您的pub-serve的已定义URL

---

dartbug.com目前无法（至少对我来说）验证是否已经有功能请求，否则你应该创建一个，但我想我不久前已经看到了一个，但我不确定。

我在OSx平台上，在只更新SDK文件夹之后，没有更新任何其他工具、编辑器等，我也出现了相同的错误

我通过终端手动启动pub-serv暂时解决了这个问题

pub serve --port 1234

---

但要在Eclipse编辑器上解决这个问题，我必须用“AppCleaner”清理Dart安装的所有文件，并用新安装重新安装所有文件。通过这个解决方案，我解决了这个问题。

有一个功能请求（针对pub-serve的前身），但它被关闭为“未计划”。您应该创建一个新的功能请求。请在这里添加一个链接。我也暂时解决了这个问题。但是有一个解决方案可以确定“EclipseLauncher”？这个错误也出现在我面前。它发生在更新SDK而不更新eclipse编辑器之后。