public void pushPipeEvent ( final String pipeName , final PipeValue blob ) throws DevFailed { // set attribute value final PipeImpl pipe = DeviceImpl . getPipe ( pipeName , device . getPipeList ( ) ) ; try { pipe . updateValue ( blob ) ; // push the event EventManager . getInstance ( ) . pushPipeEvent ( name , pipeName , blob ) ; } catch ( final DevFailed e ) { EventManager . getInstance ( ) . pushPipeEvent ( name , pipeName , e ) ; } }
Push a PIPE EVENT event if some client had registered it