<html>
<head>
<script src="../../../resources/js-test.js"></script>
<script src="../resources/shared.js"></script>
</head>
<body>
<script src="resources/double-abort.js"></script>
</body>
</html>