ok grazie undefined index risolto, ma non salvo il valore nella sessione correttamente...
ad ogni refresh ripresenta sempre il primo della listaCodice PHP:
<option value="<?php echo $value; ?>"
<?php
if (isset($_SESSION['selezionaTipoDoc'])) {
$value = $_SESSION['selezionaTipoDoc'];
if($_SESSION['selezionaTipoDoc'] == $value) echo 'selected';
}
?>
>
<?php
echo $value; ?>
</option>