Commit e910aa1c authored by Siebers, Michael's avatar Siebers, Michael
Browse files

Merge branch 'hotfix-item-definition'

parents db3d76bb cb001817
......@@ -76,7 +76,7 @@ item_type(anyof([DirectoryType,FileType])) :-
creation_time: integer
],
FileType = dict([
type:oneof([file]),
type: atom('^file$'),
file_size: positive_integer,
media_type: atom,
filename_extension: atom,
......@@ -85,4 +85,4 @@ item_type(anyof([DirectoryType,FileType])) :-
change_time: integer
| CommonKeys
]),
DirectoryType = dict([type:oneof([directory])|CommonKeys]).
DirectoryType = dict([type:atom('^directory$')|CommonKeys]).
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment