--- /dev/null
+#!/bin/sh
+#
+# Propagate if database (principal.pag) has been modified since last dump
+# (dumpfile.dump_ok) or if database has been dumped since last successful
+# propagation (dumpfile.<slave machine>.last_prop)
+
+KDB_DIR=/krb5
+
+KDB_FILE=$KDB_DIR/principal.page
+DUMPFILE=$KDB_DIR/slave_datatrans
+KDB5_EDIT=/krb5/sbin/kdb5_edit
+KPROP=/krb5/sbin/kprop
+
+SLAVE=$1
+if [ -z "${SLAVE}" ]
+then
+ echo "Usage $0 slave_server"
+fi
+
+if [ "`ls -t $DUMPFILE.dump_ok $KDB_FILE | sed -n 1p`" = "$KDB_FILE" -o \
+ "`ls -t $DUMPFILE.${SLAVE}.last_prop $DUMPFILE.dump_ok | \
+ sed -n 1p`" = "$DUMPFILE.dump_ok" ]
+then
+
+ date
+ $KDB5_EDIT -R "ddb $DUMPFILE" >/dev/null
+
+ $KPROP -d -f $DUMPFILE ${SLAVE}
+ rm $DUMPFILE
+fi