手机WAP编程

开发平台：

WINDOWS

wsp_push_client_machine.def：源码内容

							/*
 * wsp-push-client-machine.h: Define wsp push client state machine
 *
 * By Aarno Syv鋘en for Wapit Ltd. 
 */
#if !defined(INTEGER)
    #error "Macro INTEGER not defined."
#elif !defined(HTTPHEADERS)
    #error "Macro HTTPHEADERS not defined."
#elif !defined(MACHINE)
    #error "Macro MACHINE is not defined."
#endif
MACHINE(
	INTEGER(state)
        INTEGER(client_push_id)
        INTEGER(transaction_id)
        INTEGER(session_id)
        HTTPHEADERS(push_headers)
       )
#undef INTEGER
#undef HTTPHEADERS
#undef MACHINE

						