Как изменить номер порта по умолчанию в Dart Editor

Question

Как изменить номер порта сокета сервера в Dart Editor? Потому что локальный tomcat с использованием 8080. Кажется, этот порт изменился с 3030 до 8080 после обновления до версии 1.5.0.

--- 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 

Answer 1

Вы можете запустить паб служить вручную pub serve --port 1234 из командной строки и использовать пользовательскую конфигурацию запуска с определенным URL, который указывает на ваш паб служить.

dartbug.com в настоящее время не доступен (по крайней мере, для меня), чтобы проверить, есть ли уже запрос на функцию, иначе вы должны создать его, но я думаю, что я уже видел его некоторое время назад, но я не уверен.

Answer 2

Я на платформе OSx и у меня была такая же ошибка после обновления только папки SDK, без обновления каких-либо других инструментов, редактор ЭСТ ...

Я решил temporarly с запускающее паба серв вручную терминалом

pub serve --port 1234 

Но для решения проблемы в редакторе Eclipse я должен очистить все файлы установки Dart с помощью «AppCleaner» и переустановить все с новой установкой. С этим решением я решил проблему.