From e0f058cc209e89451e36ed631161c1bc82d62383 Mon Sep 17 00:00:00 2001
From: Morgan Haskel <morgan@puppetlabs.com>
Date: Tue, 24 Feb 2015 13:53:25 -0800
Subject: [PATCH] Allow priorities to be zero-padded

---
 manifests/setting.pp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/manifests/setting.pp b/manifests/setting.pp
index 8d876fa..7740fd6 100644
--- 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 {
-- 
2.45.2