Merge pull request #92 from zhblue/master

quick sync

trunk/core/judge_client/judge_client.cc

@@ -1990,8 +1990,7 @@ void clean_workdir(char * work_dir) {
  	if (DEBUG) {
 		execute_cmd("/bin/mv %s/* %slog/", work_dir, work_dir);
 	} else {
-		execute_cmd("/bin/rm -rf %s/*", work_dir);
-
+		execute_cmd("/bin/rm -f %s/*", work_dir);
 	}
 
 }
@@ -2230,10 +2229,8 @@ int main(int argc, char** argv) {
 		update_problem(p_id);
 		if (!http_judge)
 			mysql_close(conn);
-		if (!DEBUG)
-			clean_workdir(work_dir);
-		else
-			write_log("compile error");
+		clean_workdir(work_dir);
+		write_log("compile error");
 		exit(0);
 	} else {
 		update_solution(solution_id, OJ_RI, 0, 0, 0, 0, 0.0);
@@ -2319,7 +2316,7 @@ int main(int argc, char** argv) {
 			addcustomout(solution_id);
 		}
 		update_solution(solution_id, OJ_TR, usedtime, topmemory >> 10, 0, 0, 0);
-
+		clean_workdir(work_dir);
 		exit(0);
 	}