server now prints on startup whether SSL is used or not;
small fixes in examples