Mantis:S configuration option type/ksh

Zoot