Receptor en (INT) en vez del nick

[Ribon]

Tienes que ver de donde viene la variable de sesión $_SESSION['user'] y guardarle el id en vez del username.

Aunque tienes que ver antes si no hay otros scripts que utilicen el username a través de esa variable.

en cuyo caso te recomendaría que al hacer login además de guardar el username en $_SESSION['user']; guardes el id en otra $_SESSION['user_id'];

saludos

EDIT: vez, como te decimos xD!