From bb2b4fd1501bb1a83855e1bf0305dbf3b1f7f8aa Mon Sep 17 00:00:00 2001
From: pk910 <philipp@zoelle1.de>
Date: Sun, 27 Nov 2011 16:20:14 +0100
Subject: [PATCH] fixes small issue in JavaGod.class.php

---
 Bots/JavaGod.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Bots/JavaGod.class.php b/Bots/JavaGod.class.php
index cd16c3e..f8d47c9 100644
--- a/Bots/JavaGod.class.php
+++ b/Bots/JavaGod.class.php
@@ -113,7 +113,7 @@ class {$_NAME} extends Bot {
                         }
                     ";
                 };
-                $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");
-- 
2.20.1