Use updated android tools? I don't know. Ugg.

git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@4222 ed5197a5-7fde-0310-b194-c3ffbd925b24
This commit is contained in:
2023-03-15 03:21:20 +00:00
parent 2b0962f087
commit a5da17e1b1
2 changed files with 24 additions and 23 deletions

View File

@ -13,6 +13,7 @@ import android.view.KeyEvent;
import android.view.Window;
import android.webkit.JsResult;
import android.webkit.WebChromeClient;
import android.webkit.WebResourceRequest;
import android.webkit.WebView;
import android.webkit.WebViewClient;
import java.lang.Process;
@ -112,12 +113,12 @@ public class MainActivity extends Activity {
web_view.setWebViewClient(new WebViewClient() {
@Override
public boolean shouldOverrideUrlLoading(WebView view, String url)
public boolean shouldOverrideUrlLoading(WebView view, WebResourceRequest request)
{
if (url != null && url.startsWith("http://127.0.0.1:12345/")) {
if (request.getUrl() != null && request.getUrl().toString().startsWith("http://127.0.0.1:12345/")) {
return false;
} else {
view.getContext().startActivity(new Intent(Intent.ACTION_VIEW, Uri.parse(url)));
view.getContext().startActivity(new Intent(Intent.ACTION_VIEW, request.getUrl()));
return true;
}
}