From 2750feef8248635258d81adc13f7eb7ff6f165b5 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 29 Sep 2004 13:47:16 +0000
Subject: [PATCH] A script that will jump to a given URL.  Very simple.

---
 course/jumpto.php | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 course/jumpto.php

diff --git a/course/jumpto.php b/course/jumpto.php
new file mode 100644
index 0000000000..93a40fb54f
--- /dev/null
+++ b/course/jumpto.php
@@ -0,0 +1,18 @@
+<?php  // $Id$
+       
+/*
+ * Jumps to a given URL.  Mostly used for accessibility.
+ *
+ */
+
+require('../config.php');
+
+$jump = parameter('jump');
+
+if ($jump) {
+    redirect(urldecode($jump));
+}
+
+redirect($_SERVER['HTTP_REFERER']);
+
+?>
-- 
2.39.5