Merge pull request #4642 from betatim/js-redirect

Use JavaScript to redirect users
This commit is contained in:
Min RK 2019-05-28 07:46:02 +02:00 committed by GitHub
commit a403d59cb0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,6 +6,11 @@
<meta charset="UTF-8"> <meta charset="UTF-8">
<meta http-equiv="refresh" content="1;url={{ open_url }}" /> <meta http-equiv="refresh" content="1;url={{ open_url }}" />
<title>Opening Jupyter Notebook</title> <title>Opening Jupyter Notebook</title>
<script>
setTimeout(function() {
window.location.href = "{{ open_url }}";
}, 1000);
</script>
</head> </head>
<body> <body>