kerberos: add ability to override krb5_port from default of 88

manifests/kerberos/krb5_conf.pp

@@ -160,6 +160,9 @@
 #
 # $kpasswd_server: sets the kpasswd_server setting.
 #
+# $krb5_port: sets the port number on the kdc and master-kdc entries.
+#   Default: 88
+#
 # NOTE! If $env is set to 'custom', then ALL of $kdcs, $master_kdc,
 # $admin_server, and $kpasswd_server MUST be set. If not, Puppet will
 # raise an exception.
@@ -174,6 +177,7 @@ define base::kerberos::krb5_conf (
   $master_kdc                      = undef,
   $admin_server                    = undef,
   $kpasswd_server                  = undef,
+  $krb5_port                       = '88',
   $rdns_enabled                    = false,
   $prefer_tcp                      = false,
 ) {

templates/kerberos/etc/krb5.conf.erb

@@ -63,11 +63,11 @@
 <%-
     @kdcs_actual.each do |kdc|
 -%>
-        kdc            = <%= kdc %>:88
+        kdc            = <%= kdc %>:<%= @krb5_port.to_s() %>
 <%-
     end
 -%>
-        master_kdc     = <%= @master_kdc_actual %>:88
+        master_kdc     = <%= @master_kdc_actual %>:<%= @krb5_port.to_s() %>
         admin_server   = <%= @admin_server_actual %>
         kpasswd_server = <%= @kpasswd_server_actual %>
         default_domain = stanford.edu