Server: Bug search: segfault