upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-04-29 04:45:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

eclipse plugin: use a better name for log names

Browse Source
This commit is contained in:
Timotei Dolean 2010-07-26 13:28:36 +00:00
parent 31d5042b47
commit ceb15097aa
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
utils/java/eclipse_plugin/src/wesnoth_eclipse_plugin/utils/WorkspaceUtils.java
View File

@ -14,7 +14,6 @@ import java.util.ArrayList;
import java.util.Date;
import java.util.Locale;
import java.util.Properties;
import java.util.Random;
import org.eclipse.core.resources.FileInfoMatcherDescription;
import org.eclipse.core.resources.IContainer;
@ -238,9 +237,8 @@ public class WorkspaceUtils
public static String getRandomFileName()
{
String result = "";
SimpleDateFormat date = new SimpleDateFormat("yyyyMMddHHmm");
SimpleDateFormat date = new SimpleDateFormat("yyyy_MM_dd_HH_mm_ss");
result += date.format(new Date());
result += String.valueOf(new Random().nextInt());
return result;
}