jjok

<?php
#header('Content-type: text/plain');

if(isset($_SERVER['argv'][1])) {
	$db_file = $_SERVER['argv'][1];
}
else {
	$db_file = '\\\\Npvr-server\\npvr\\npvr.db3';
}