Project

General

Profile

Bug #11040 » monitor_patch.patch

jvdp (Jaap van der Plas), 04/09/2015 08:19 PM

View differences:

lib/monitor.rb
return false
end
@mon_owner = Thread.current
@mon_count = 0
end
@mon_count += 1
return true
......
if @mon_owner != Thread.current
@mon_mutex.lock
@mon_owner = Thread.current
@mon_count = 0
end
@mon_count += 1
end
(5-5/5)