ANDROID: file manager webui (wip)

Author: chrisws

src/platform/android/app/src/main/java/net/sourceforge/smallbasic/MainActivity.java

@@ -752,14 +752,14 @@ private void execScheme(final String data) {
     }
   }
 
-  private void execStream(final String line, InputStream inputStream) throws IOException {
+  private void execStream(InputStream inputStream) throws IOException {
     File outputFile = new File(getInternalStorage(), WEB_BAS);
     BufferedWriter output = new BufferedWriter(new FileWriter(outputFile));
     Log.i(TAG, "execStream() entered");
-    String nextLine = line;
-    while (nextLine != null) {
-      output.write(nextLine + "\n");
-      nextLine = readLine(inputStream);
+    String line = readLine(inputStream);
+    while (line != null) {
+      output.write(line + "\n");
+      line = readLine(inputStream);
     }
     output.close();
     Log.i(TAG, "invoke runFile: " + outputFile.getAbsolutePath());
@@ -932,8 +932,8 @@ private void setupStorageEnvironment(boolean external) {
 
   private class WebServerImpl extends WebServer {
     @Override
-    protected void execStream(String line, InputStream inputStream) throws IOException {
-      MainActivity.this.execStream(line, inputStream);
+    protected void execStream(InputStream inputStream) throws IOException {
+      MainActivity.this.execStream(inputStream);
     }
 
     @Override
@@ -958,5 +958,10 @@ protected void log(String message, Exception exception) {
     protected void log(String message) {
       Log.i(TAG, message);
     }
+
+    @Override
+    protected boolean saveFile(String fileName, String content) {
+      return false;
+    }
   };
 }