Sí, y ahora, en vez de undefined, simplemente no recoge nada, la variable url está en blanco.
Lo he puesto así:
Código PHP:
var url = document.referrer;
Y no va :S
PD: ¿Influye que la página de la que venga el usuario sea una redirección desde un .htaccess por un error 404? Porque es así como el usuario llega a esa página. El usuario escribe, por ejemplo, midominio.com/olamundo, y olamundo no existe, así que salta el error 404 del .htaccess, que lo redirecciona a controlador.html, que es donde ejecuto el javascript en cuestión. ¿Influye en algo lo del .htaccess? :S