Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- date_default_timezone_set('Asia/Jakarta');
- $base_url = ((isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') ? 'https' : 'http');
- $base_url .= '://' . $_SERVER['HTTP_HOST'];
- $base_url .= str_replace(basename($_SERVER['SCRIPT_NAME']),'',$_SERVER['SCRIPT_NAME']);
- $config['base_url'] = $base_url;
- $link = (isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] === 'on' ? "https" : "http")."://".$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI'];
- $split = explode(":", $link);
- if ($_SERVER['SERVER_NAME'] != 'localhost') {
- if ($split[0] == 'http') {
- echo "<script>location.href='https:".$split[1]."';</script>";
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment