- /*
- private bool on_navigation_policy_decision_requested(
- WebKit.WebFrame frame,
- WebKit.NetworkRequest request,
- WebKit.WebNavigationAction navigation_action,
- WebKit.WebPolicyDecision policy_decision
- ) {
- policy_decision.ignore();
-
- // not sure if we should allow navigations...
- return true;
- }
- */
- private bool on_policy_decision(WebKit.PolicyDecision decision, WebKit.PolicyDecisionType type)
- {
- if ((type == WebKit.PolicyDecisionType.RESPONSE) {
-
-
- }
- }
-
- private void on_resource_request_starting(
- WebKit.WebResource resource,
- WebKit.URIRequest request) {
- print("REQUEST-A : %s\n",request.get_uri());
- if (resource == null) {
-
- // A request that was previously approved resulted in a redirect.
- return;
- }
-
- string? uri = request.get_uri();
-
- if (uri == null) {
- return;
- }
- print("REQUEST : %s\n",uri);
- if (Regex.match_simple ("\\.php", uri)) {
-
- return;
- }
- print("CHANGE TO : x%s\n",uri);
- request.set_uri("x"+ uri);
-
- }