reply = formatted_result.toString();
return reply;
}
else
{
ServerMessage message = ServerMessage.parse(search_result.getRaw());
StringBuffer formatted_result = new StringBuffer();
formatted_result.append(search_result.getNickname());
formatted_result.append(" (");
formatted_result.append(message.getPrefix().getRaw().substring(1));
formatted_result.append(") was last seen in ");
formatted_result.append(channel.getName());
formatted_result.append(" on ");
formatted_result.append(DATE_FORMAT.format(search_result.getMoment()));
formatted_result.append(", saying '");