filebot/website/download.php
Reinhard Pointner 99c52281f9 * misc
2011-12-27 18:57:11 +00:00

22 lines
687 B
PHP

<?php
$version = isset($_GET['version']) ? $_GET['version'] : '@{version}'; // default version is hard-coded via deployment script
$arch = $_GET['arch'];
$type = $_GET['type'];
$folder = 'http://sourceforge.net/projects/filebot/files/filebot/FileBot_'.$version;
$file = 'undefined';
if ($type == 'msi')
$file = 'FileBot_'.$version.'_'.$arch.'.msi';
if ($type == 'deb')
$file = 'filebot_'.$version.'_'.$arch.'.deb';
if ($type == 'app')
$file = 'FileBot_'.$version.'.app.tar.gz';
if ($type == 'jar')
$file = 'FileBot_'.$version.'.jar';
if ($type == 'src')
$file = 'filebot-'.$version.'-src.zip';
header('HTTP/1.1 302 Found');
header('Location: '.$folder.'/'.$file.'/download');
?>