servo: Merge #4216 - Disable debugging, set wikipedia page for demo (from glennw:android-demo); r=larsbergstrom

Source-Repo: https://github.com/servo/servo
Source-Revision: 0b909c2e9345786563ab0b4425b67a8e918549c5

servo/ports/android/jni/main.cpp

@@ -76,7 +76,7 @@ static void init_servo()
 {
     LOGI("initializing native application for Servo");
 
-    setenv("RUST_LOG", "servo,gfx,msg,util,layers,js,glut,std,rt,extra", 1);
+    //setenv("RUST_LOG", "servo,gfx,msg,util,layers,js,glut,std,rt,extra", 1);
 
 //    setenv("SERVO_URL", "/mnt/sdcard/html/demo.html", 1);
 //    setenv("RUST_THREADS", "1", 1);
@@ -123,7 +123,7 @@ static void init_servo()
     *(void**)(&main) = dlsym(libservo, "android_start");
     if (main) {
         LOGI("go into android_start()");
-        static const char* argv[] = {"servo", "/mnt/sdcard/html/about-mozilla.html"};
+        static const char* argv[] = {"servo", "http://en.wikipedia.org/wiki/Rust"};
         (*main)(2, (char **)argv);
         return;
     }