Project

General

Profile

« Previous | Next » 

Revision 6be61ab2

Added by ko1 (Koichi Sasada) over 4 years ago

should use owned_p instead of locked_p

It should raise an error if the same thread tris to call
receive/receive_if.