Skip to content

Instantly share code, notes, and snippets.

<?php
ini_set('default_charset', 'UTF-8');
$debug = 1;
$mode = NULL;
function fetchsite($url = NULL, $matrikel = NULL, $password = NULL) {
global $debug, $mode;
<?php
$debug = 1;
function fetchsite($url = NULL, $matrikel = NULL, $password = NULL) {
global $debug;
if ($debug) {
$matrikel = $_GET['matrikel'];
$password = $_GET['password'];
<?php
$aktuelles_script = 'ba-dresden';
// Script created by Nur-E-Alam Khan
// Email: porosh@msn.com (Dhaka, Bangladesh)
$url ="http://www.ba-dresden.de/index2.php?menu=5";
$ch = curl_init();
curl_setopt($ch, CURLOPT_COOKIEJAR, "/tmp/cookie.txt");
curl_setopt($ch, CURLOPT_URL, $url);