if ($user != null) {
...
} else {
...
}