added server greeting banner, changed the name of the variable from c to state in the fsm