From e404e2d37fe21396c1bc9b84ce1a06ba0983a1f1 Mon Sep 17 00:00:00 2001
From: Alexey Andreev <konsoletyper@gmail.com>
Date: Sun, 27 Jan 2019 23:00:20 +0300
Subject: [PATCH] Fix proxy bug in dev server

---
 .../src/main/java/org/teavm/devserver/CodeServlet.java          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java b/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java
index eb5827d52..aaa0f9d97 100644
--- a/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java
+++ b/tools/devserver/src/main/java/org/teavm/devserver/CodeServlet.java
@@ -257,7 +257,7 @@ public class CodeServlet extends HttpServlet {
             try {
                 URL url = new URL(proxyUrl);
                 proxyPort = url.getPort();
-                proxyHost = proxyPort != 80 ? url.getHost() + ":" + proxyPort : url.getHost();
+                proxyHost = proxyPort >= 0 ? url.getHost() + ":" + proxyPort : url.getHost();
                 proxyProtocol = url.getProtocol();
 
                 StringBuilder sb = new StringBuilder();