websocket fixes;added sys.string_time function