prova ad usare POST o GET...

if(empty($_POST['codicevenditore']))