Fix for Issue 35 that doesn't allow renaming of a file name when the new file name...

diff --git a/src/gr/ebs/gss/server/rest/FilesHandler.java b/src/gr/ebs/gss/server/rest/FilesHandler.java
index 6d55785..bf74bb6 100644 (file)
--- a/src/gr/ebs/gss/server/rest/FilesHandler.java
+++ b/src/gr/ebs/gss/server/rest/FilesHandler.java
@@ -185,6 +185,10 @@ public class FilesHandler extends RequestHandler {
                throws IOException, ServletException {
                boolean authDeferred = getAuthDeferred(req);
         String path = getInnerPath(req, PATH_FILES);
+//        if (!isValidResourceName(name)) {
+//             resp.sendError(HttpServletResponse.SC_BAD_REQUEST);
+//             return;
+//     }
                if (path.equals(""))
                        path = "/";
                try {
@@ -1455,6 +1459,10 @@ public class FilesHandler extends RequestHandler {
                                String name = null;
                                if (json.opt("name") != null)
                                        name = json.optString("name");
+                               if (!isValidResourceName(name)) {
+                               resp.sendError(HttpServletResponse.SC_BAD_REQUEST);
+                               return;
+                       }
                                Long modificationDate = null;
                                if (json.optLong("modificationDate") != 0)
                                        modificationDate = json.optLong("modificationDate");