| 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 |