Sort database resources alphabetically

joewiz · adamretter · commit 58b943f82204 · 2019-02-07T09:25:08.000+01:00
diff --git a/src/main/xar-resources/modules/explorer.xqm b/src/main/xar-resources/modules/explorer.xqm
@@ -35,11 +35,11 @@ function exp:describe-collection($uri) as map(xs:string, xs:string) {
         exp:collection-properties($uri),
         map {
             "collections": array {
-                xmldb:get-child-collections($uri) ! exp:collection-properties($uri || "/" || .)
+                (xmldb:get-child-collections($uri) => sort()) ! exp:collection-properties($uri || "/" || .)
 
             },
             "documents": array {
-                xmldb:get-child-resources($uri) ! exp:describe-document($uri || "/" || .)
+                (xmldb:get-child-resources($uri) => sort()) ! exp:describe-document($uri || "/" || .)
             }
         }
     ))

Original file line number	Diff line number	Diff line change
`@@ -35,11 +35,11 @@ function exp:describe-collection($uri) as map(xs:string, xs:string) {`
`35`	`35`	`exp:collection-properties($uri),`
`36`	`36`	`map {`
`37`	`37`	`"collections": array {`
`38`		`- xmldb:get-child-collections($uri) ! exp:collection-properties($uri \|\| "/" \|\| .)`
	`38`	`+ (xmldb:get-child-collections($uri) => sort()) ! exp:collection-properties($uri \|\| "/" \|\| .)`
`39`	`39`
`40`	`40`	`},`
`41`	`41`	`"documents": array {`
`42`		`- xmldb:get-child-resources($uri) ! exp:describe-document($uri \|\| "/" \|\| .)`
	`42`	`+ (xmldb:get-child-resources($uri) => sort()) ! exp:describe-document($uri \|\| "/" \|\| .)`
`43`	`43`	`}`
`44`	`44`	`}`
`45`	`45`	`))`