mirror of
https://github.com/yairm210/Unciv.git
synced 2025-09-28 14:24:43 -04:00
Caught bad URL parsing exceptions
This commit is contained in:
parent
360d739b97
commit
9ef42f2a56
@ -4,10 +4,7 @@ import com.badlogic.gdx.Net
|
|||||||
import java.io.BufferedReader
|
import java.io.BufferedReader
|
||||||
import java.io.DataOutputStream
|
import java.io.DataOutputStream
|
||||||
import java.io.InputStreamReader
|
import java.io.InputStreamReader
|
||||||
import java.net.DatagramSocket
|
import java.net.*
|
||||||
import java.net.HttpURLConnection
|
|
||||||
import java.net.InetAddress
|
|
||||||
import java.net.URI
|
|
||||||
import java.nio.charset.Charset
|
import java.nio.charset.Charset
|
||||||
|
|
||||||
object SimpleHttp {
|
object SimpleHttp {
|
||||||
@ -20,7 +17,15 @@ object SimpleHttp {
|
|||||||
if (uri.host == null) uri = URI("http://$url")
|
if (uri.host == null) uri = URI("http://$url")
|
||||||
if (uri.port == -1) uri = URI(uri.scheme, uri.userInfo, uri.host, 8080, uri.path, uri.query, uri.fragment)
|
if (uri.port == -1) uri = URI(uri.scheme, uri.userInfo, uri.host, 8080, uri.path, uri.query, uri.fragment)
|
||||||
|
|
||||||
with(uri.toURL().openConnection() as HttpURLConnection) {
|
val urlObj: URL
|
||||||
|
try {
|
||||||
|
urlObj = uri.toURL()
|
||||||
|
} catch (t:Throwable){
|
||||||
|
action(false, "Bad URL")
|
||||||
|
return
|
||||||
|
}
|
||||||
|
|
||||||
|
with(urlObj.openConnection() as HttpURLConnection) {
|
||||||
requestMethod = method // default is GET
|
requestMethod = method // default is GET
|
||||||
|
|
||||||
try {
|
try {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user