Diffusion Enigmail bfb3a4d48864

make sure that timer doesn't get deleted by garbage collection before callback…
bfb3a4d48864
Actions

Tags

None

Subscribers

None

Description

make sure that timer doesn't get deleted by garbage collection before callback is fired

Details

Provenance

Authored on Jun 14 2017, 11:25 AM

Parents

rENIGa17374fdd564: fixed wrong redirection of stderr to stdout

Branches

Unknown

Tags

Unknown

Event Timeline

patrick committed rENIGbfb3a4d48864: make sure that timer doesn't get deleted by garbage collection before callback… (authored by patrick).Jun 14 2017, 11:25 AM

Changes (2)

Path

Size

package/

rENIGbfb3a4d48864

package/events.jsm

Loading...

package/timer.jsm

Loading...