Skip to content
Snippets Groups Projects
Commit 4da839f5 authored by David Bühler's avatar David Bühler
Browse files

[server] Fixes syntax constraints for creating new data names.

Data names had to be dash-separated list of lowercase identifiers and also
start by "plugin.", which was incompatible.
parent d552362e
No related branches found
No related tags found
No related merge requests found
...@@ -30,7 +30,7 @@ let check_plugin plugin name = ...@@ -30,7 +30,7 @@ let check_plugin plugin name =
let k = String.length plugin in let k = String.length plugin in
if not (String.length name > k && if not (String.length name > k &&
String.sub n 0 k = p && String.sub n 0 k = p &&
String.get n k = '.') String.get n k = '-')
then then
Senv.warning ~wkey:Senv.wpage Senv.warning ~wkey:Senv.wpage
"Data %S shall be named « %s-* »" "Data %S shall be named « %s-* »"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment