Define PHP_SELF in sapi/servlet.

Reported by Lim Swee Tat <limst@ncscom.sg>

diff --git a/sapi/servlet/servlet.java b/sapi/servlet/servlet.java
index 1ffc32bbc1fb625e7b9191610b8aab466dad1fd3..bc91aa72e20a6bc4db2fc35ad199da7007717dec 100644 (file)
--- a/sapi/servlet/servlet.java
+++ b/sapi/servlet/servlet.java
@@ -77,6 +77,7 @@ public class servlet extends HttpServlet {
     String readCookies() {
        reflect.setResult(define("request"), request);
        reflect.setResult(define("response"), response);
+       reflect.setResult(define("PHP_SELF"), request.getRequestURI());
        return request.getHeader("cookie");
     }