map names

[Paolo Cavallini]

Further investigation:
- this is related to having mapscript loaded as dl (it works, because pid is 
always different, and timestamp is correctly updated) or statically in 
php.ini (does not work, because timestamp is fixed at the time of mapscript 
loading and obviously pid is always the same; the counter does not resolve 
the ambiguity).
Seems related to bug 1312:
http://mapserver.gis.umn.edu/bugs/show_bug.cgi?id=1312
Should the bug be reopened?
All the best.
pc
=====
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