Add db.util.make_identifier function

Does the same as scripts.utils.filenamefy.

1 files changed, 21 insertions, 0 deletions

diff --git a/db/util.py b/db/util.py
new file mode 100644
index 0000000..de8a70c
--- /dev/null
+++ b/db/util.py
@@ -0,0 +1,21 @@
+# CodeQ: an online programming tutor.
+# Copyright (C) 2015 UL FRI
+#
+# This program is free software: you can redistribute it and/or modify it under
+# the terms of the GNU Affero General Public License as published by the Free
+# Software Foundation, either version 3 of the License, or (at your option) any
+# later version.
+#
+# This program is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+# FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more
+# details.
+#
+# You should have received a copy of the GNU Affero General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+import re
+
+_re_identifier = re.compile(r'\W')
+def make_identifier(name):
+    return re.sub(_re_identifier, '_', name).strip('_').lower()