1 | <?php |
||
9 | class Mink extends BaseMink |
||
10 | { |
||
11 | /** |
||
12 | * Very weird bug happens when Mink is exposed as a LAZY service in tested application. |
||
13 | * In that case, the destructor might be called at any random time. If it is called |
||
14 | * while we're in the middle of any Mink-related operation, it'll leave the used Mink session |
||
15 | * in an invalid state. Therefore, not stopping all the sessions while destructing Mink |
||
16 | * saves our sanity. |
||
17 | */ |
||
18 | public function __destruct() |
||
22 | } |
||
23 |