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.
1 namespace mozilla {
2 namespace _ipdltest {
4 intr protocol PTestInterruptShutdownRace {
5 parent:
6 sync StartDeath();
7 async Orphan();
9 child:
10 async Start();
11 intr Exit();
12 async __delete__();
14 state START:
15 send Start goto START_DEATH;
17 state START_DEATH:
18 recv StartDeath goto EXITING;
20 state EXITING:
21 recv Orphan goto QUITTING1;
22 call Exit goto QUITTING2;
24 state QUITTING1:
25 call Exit goto DEAD;
26 state QUITTING2:
27 recv Orphan goto DEAD;
29 state DEAD:
30 send __delete__;
31 };
33 } // namespace _ipdltest
34 } // namespace mozilla