Sebastian, On Thu, Jul 4, 2013 at 4:38 PM, Sebastian Huber <sebastian.huber@xxxxxxxxxxxxxxxxxx> wrote: > Hello, > > I think there is an error in the description > > is equivalent to (but shorter and more efficient than): > > int oldtype; > > pthread_cleanup_push(routine, arg); > pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, &oldtype); > ... > pthread_setcanceltype(oldtype, NULL); > pthread_cleanup_pop(execute); > > this should be instead > > is equivalent to (but shorter and more efficient than): > > int oldtype; > > pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, &oldtype); > pthread_cleanup_push(routine, arg); > ... > pthread_cleanup_pop(execute); > pthread_setcanceltype(oldtype, NULL); I am doubtful of this, but, can you provide some evidence to support your claim? Thanks, Michael -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
