map names

[Paolo Cavallini]

Hi all.
We're having a problem with a specific installation of mapserver/php 
mapscript. On one of our servers, the png name is of variable length (16 or 
17.3; no obvious pattern is apparent). Possibly as a result of this, we get 
wrong responses (the browser gets an older map instead of the good one).
On two other servers, everything is ok (16.3 characters; the beginning of the 
file is similar to the timestamp).
This appears independent from the mapserver version (4.6 or 4.8). All on 
Debian testing, installed from packages or compiled).
Any help would be greatly appreciated.
-- 
Paolo Cavallini
email+jabber: cavallini at faunalia.it
www.faunalia.it
Piazza Garibaldi 5 - 56025 Pontedera (PI), Italy   Tel: (+39)348-3801953