Allow priorities to be zero-padded

diff --git a/manifests/setting.pp b/manifests/setting.pp
index 8d876faee026fe43eb73d2b22d70b93f128b1d58..7740fd6e24c7b5deb3220bfae1242f0f4718485e 100644 (file)
--- a/manifests/setting.pp
+++ b/manifests/setting.pp
@@ -21,7 +21,8 @@ define apt::setting (
   validate_re($ensure,  ['file', 'present', 'absent'])
 
   unless is_integer($priority) {
-    fail('apt::setting priority must be an integer')
+    # need this to allow zero-padded priority.
+    validate_re($priority, '^\d+$', 'apt::setting priority must be an integer or a zero-padded integer.')
   }
 
   if $source {