fixes small issue in JavaGod.class.php

[PHP-P10.git] / Bots / JavaGod.class.php

diff --git a/Bots/JavaGod.class.php b/Bots/JavaGod.class.php
index 19cdc187f295499bd175822c740777bfffdc9afc..f8d47c9389d9cb76ca51a9dfdacd343e93ccdbfd 100644 (file)
--- a/Bots/JavaGod.class.php
+++ b/Bots/JavaGod.class.php
@@ -100,20 +100,20 @@ class {$_NAME} extends Bot {
                         return;
                     }
                     $javacode = "import java.*;
-                    @SuppressWarnings("unused")
+                    @SuppressWarnings(\"unused\")
                         public class Debug_".$entry['id']." {
                             ".$javacontent."
                         }
                     ";
                 } else {
                     $javacode = "import java.*;
-                    @SuppressWarnings("unused")
+                    @SuppressWarnings(\"unused\")
                         public class Debug_".$entry['id']." {
                             ".$exp[1]."
                         }
                     ";
                 };
-                $fp = fopen("tmp/debug_".$entry['id'].".c", "w");
+                $fp = fopen("tmp/debug_".$entry['id'].".java", "w");
                 fwrite($fp, $javacode);
                 fclose($fp);
                 $err = shell_exec("javac tmp/debug_".$entry['id'].".java 2>&1");