... which could be verified like this:

```
if $serverid { }
```