1 files changed, 0 insertions, 48 deletions
diff --git a/models/openid-php-openid-782224d/examples/server/server.php b/models/openid-php-openid-782224d/examples/server/server.php
deleted file mode 100644
index f054be818..000000000
--- a/models/openid-php-openid-782224d/examples/server/server.php
+++ /dev/null
@@ -1,48 +0,0 @@
-<?php
-
-$path_extra = dirname(dirname(dirname(__FILE__)));
-$path = ini_get('include_path');
-$path = $path_extra . PATH_SEPARATOR . $path;
-ini_set('include_path', $path);
-
-$try_include = @include 'config.php';
-
-if (!$try_include) {
-    header("Location: setup.php");
-}
-
-header('Cache-Control: no-cache');
-header('Pragma: no-cache');
-
-if (function_exists('getOpenIDStore')) {
-    require_once 'lib/session.php';
-    require_once 'lib/actions.php';
-
-    init();
-
-    $action = getAction();
-    if (!function_exists($action)) {
-        $action = 'action_default';
-    }
-
-    $resp = $action();
-
-    writeResponse($resp);
-} else {
-?>
-<html>
-  <head>
-    <title>PHP OpenID Server</title>
-    <body>
-      <h1>PHP OpenID Server</h1>
-      <p>
-        This server needs to be configured before it can be used. Edit
-        <code>config.php</code> to reflect your server's setup, then
-        load this page again.
-      </p>
-    </body>
-  </head>
-</html>
-<?php
-}
-?>
-\ No newline at end of file