| 1 | 1 |
deleted file mode 100644 |
| ... | ... |
@@ -1,17 +0,0 @@ |
| 1 |
-<?php |
|
| 2 |
-/** |
|
| 3 |
- * Copyright (C) 2021 Double Bastion LLC |
|
| 4 |
- * |
|
| 5 |
- * This file is part of Roundpin, which is licensed under the |
|
| 6 |
- * GNU Affero General Public License Version 3.0. The license terms |
|
| 7 |
- * are detailed in the "LICENSE.txt" file located in the root directory. |
|
| 8 |
- */ |
|
| 9 |
- |
|
| 10 |
-session_start(); |
|
| 11 |
-unset($_SESSION['loggedtoroundpin']); |
|
| 12 |
-unset($_SESSION['loginname']); |
|
| 13 |
-session_destroy(); |
|
| 14 |
-header("Location: roundpin-login.php");
|
|
| 15 |
-exit(); |
|
| 16 |
- |
|
| 17 |
-?> |
| 1 | 1 |
new file mode 100644 |
| ... | ... |
@@ -0,0 +1,17 @@ |
| 1 |
+<?php |
|
| 2 |
+/** |
|
| 3 |
+ * Copyright (C) 2021 Double Bastion LLC |
|
| 4 |
+ * |
|
| 5 |
+ * This file is part of Roundpin, which is licensed under the |
|
| 6 |
+ * GNU Affero General Public License Version 3.0. The license terms |
|
| 7 |
+ * are detailed in the "LICENSE.txt" file located in the root directory. |
|
| 8 |
+ */ |
|
| 9 |
+ |
|
| 10 |
+session_start(); |
|
| 11 |
+unset($_SESSION['loggedtoroundpin']); |
|
| 12 |
+unset($_SESSION['loginname']); |
|
| 13 |
+session_destroy(); |
|
| 14 |
+header("Location: roundpin-login.php");
|
|
| 15 |
+exit(); |
|
| 16 |
+ |
|
| 17 |
+?> |