Dear MapServer colleagues! Just a short question: how can I change the format of my scale? now the format is 1:ssssss.ssss but I don't want the decimal number... (just 1:ssssss) cheers, Stefan