# HG changeset patch
# User Simon Cross <hodgestar@gmail.com>
# Date 1316293344 -7200
# Node ID 0c5853bb7a14e979d4644c0d0db0e2c24e4a7728
# Parent  13639277c290d2a1c5ef7848efe395b9db096c13
Timestamp uncurated level files.

diff -r 13639277c290 -r 0c5853bb7a14 mamba/forest.py
--- a/mamba/forest.py	Sat Sep 17 23:02:05 2011 +0200
+++ b/mamba/forest.py	Sat Sep 17 23:02:24 2011 +0200
@@ -3,6 +3,7 @@
 from werkzeug.utils import secure_filename
 from flask import Flask, request, abort
 
+from datetime import datetime
 import os
 import sys
 
@@ -44,7 +45,8 @@
 
 @app.route("/save/<levelname>", methods=['GET', 'POST'])
 def save(levelname):
-    levelname = "%s.txt" % secure_filename(levelname)
+    ts = datetime.now().strftime("%Y%m%d.%H%M%S")
+    levelname = "%s.%s.txt" % (secure_filename(levelname), ts)
     levelpath = os.path.join(path("uncurated"), levelname)
     if request.method == 'POST':
         if os.path.exists(levelpath):