Çok fayadası olacağını sanmıyorum ama denemekten zarar gelmez. Bir de isset ile deneyebilir misiniz?

if(isset($_SERVER['HTTP_REFERER'])){ $birOncekiDizin = $_SERVER['HTTP_REFERER'];}
else {$birOncekiDizin = 'BOS'; }