#!/bin/sh -

set -- $(echo "$*" | sed 's/--detach//')
exec /usr/local/sbin/krb5kdc "$@"
