--- trunk/core/include/mozilla.sminc 2009/07/12 16:33:09 2861 +++ trunk/core/include/mozilla.sminc 2009/07/12 16:38:04 2862 @@ -85,8 +85,11 @@ [[ -z ${value} ]] && die "msetpref(): no \$value given" # handle escaped strings: + # check if value is an integer -> no escaping - if printf "%d" ${value} > /dev/null 2>&1 + #if printf "%d" ${value} > /dev/null 2>&1 + # the better way (only use one! bracket!!) + if [ "${value}" -eq "${value}" ] > /dev/null 2>&1 then value="${value}"