header($_SERVER['SERVER_PROTOCOL'] . " 200 OK"); $uri = $_SERVER['REQUEST_URI']; $parts = preg_split("/[\\/?]/", $uri); if ($parts[1] == "article") { $id = ""; for ($i = 2; $i < count($parts); $i++) { $id .= $parts[$i]; if ($i < count($parts) - 1) { $id .= "/"; } } article($id); } else { if ($parts[1] == "json") { if ($parts[2] == "pmid") { article_json_pmid($parts[3]); } else { if ($parts[2] == "doi") { $doi = ""; for ($i = 3; $i < count($parts); $i++) { $doi .= $parts[$i]; if ($i < count($parts) - 1) { $doi .= "/"; } } article_json_doi($doi); } } } else { if ($parts[1] == "search") { $parts = explode("=", $parts[2]);
user_login(); break; case "register": user_register(); break; case "remind": user_remind(); break; case "logout": user_logout(); break; case "article": article($_GET["PMID"]); break; case "article_json_pmid": article_json_pmid($_GET["PMID"]); break; case "article_json_doi": article_json_doi($_GET["PMID"]); break; case "search_lucene": search_lucene($_GET["query"]); break; case "article_list": article_list($_GET["query"]); break; case "index_lucene": index_lucene($_GET, 1); break; case "get_article": get_article($_GET);