Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | namespace mozilla { |
michael@0 | 2 | namespace _ipdltest { |
michael@0 | 3 | |
michael@0 | 4 | intr protocol PTestInterruptShutdownRace { |
michael@0 | 5 | parent: |
michael@0 | 6 | sync StartDeath(); |
michael@0 | 7 | async Orphan(); |
michael@0 | 8 | |
michael@0 | 9 | child: |
michael@0 | 10 | async Start(); |
michael@0 | 11 | intr Exit(); |
michael@0 | 12 | async __delete__(); |
michael@0 | 13 | |
michael@0 | 14 | state START: |
michael@0 | 15 | send Start goto START_DEATH; |
michael@0 | 16 | |
michael@0 | 17 | state START_DEATH: |
michael@0 | 18 | recv StartDeath goto EXITING; |
michael@0 | 19 | |
michael@0 | 20 | state EXITING: |
michael@0 | 21 | recv Orphan goto QUITTING1; |
michael@0 | 22 | call Exit goto QUITTING2; |
michael@0 | 23 | |
michael@0 | 24 | state QUITTING1: |
michael@0 | 25 | call Exit goto DEAD; |
michael@0 | 26 | state QUITTING2: |
michael@0 | 27 | recv Orphan goto DEAD; |
michael@0 | 28 | |
michael@0 | 29 | state DEAD: |
michael@0 | 30 | send __delete__; |
michael@0 | 31 | }; |
michael@0 | 32 | |
michael@0 | 33 | } // namespace _ipdltest |
michael@0 | 34 | } // namespace mozilla |