TestDeinit
echo ----------------- Post-test de-initialization ------------------
echo ----- Try to figure out where to get the testing pages. If we're running via test_start.php, then we can determine the path to the test pages from the current browser address. But if we're running from Selenium IDE, we'll have to hardcode to use "selenium_scripts". -----
store javascript{window.location.toString().substring(0, 6)=="chrome"?"selenium_scripts":window.location.toString().split('/')[3]} path_root
echo path_root=${path_root}
open /${path_root}/test_deinit.php
assertTitle Test Deinit