From e2ef704edc5bd99f32f11c9d3eeeef5b81b7da2a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 Dec 2006 23:25:14 +0000 Subject: [PATCH] Omit empty ACL entries when saving --- src/acl.sml | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) diff --git a/src/acl.sml b/src/acl.sml index e57f186..6634f91 100644 --- a/src/acl.sml +++ b/src/acl.sml @@ -125,15 +125,21 @@ fun write fname = TextIO.output (outf, value))) val writeClasses = SM.appi (fn (class, values) => - (TextIO.output (outf, class); - writeValues values; - TextIO.output (outf, "\n"))) + if SS.isEmpty values then + () + else + (TextIO.output (outf, class); + writeValues values; + TextIO.output (outf, "\n"))) val writeUsers = SM.appi (fn (user, classes) => - (TextIO.output (outf, user); - TextIO.output (outf, "\n"); - writeClasses classes; - TextIO.output (outf, "\n"))) + if SM.numItems classes = 0 then + () + else + (TextIO.output (outf, user); + TextIO.output (outf, "\n"); + writeClasses classes; + TextIO.output (outf, "\n"))) in writeUsers (!acl); TextIO.closeOut outf -- 2.20.1