Risolto.

Mentre aspettavo ho continuato le ricerche qui e altrove sul problema di refresh di singole parti della pagina dopo il login.
Non ho trovato nulla a di interessante a parte, ovviamente, le soluzioni che utilizzavano ajax, nel mio caso tuttavia mi sembrava sprecato.

Ho usato un trucchetto un pò becero:

codice HTML:
<?include("login.php")?>
<?

[b]if($_SESSION["login"])

include("campitesto_in.php")

else

include("campitesto_out.php")[/b]

?>
E'un modo brutale ma efficace: ho aggiunto una condizione di verifica prima di generare il testo - c'era già quella dentro login.php - se è positiva faccio caricare campitesto_in.php, se no campitesto_out.php; sono lo stesso identico file, ma così lo costringo a forzare il refresh di quel pezzo di codice.

Ciao a tutti.