2011-12-27 06:03:17 +00:00
|
|
|
<?php
|
2011-12-27 18:57:11 +00:00
|
|
|
$version = isset($_GET['version']) ? $_GET['version'] : '@{version}'; // default version is hard-coded via deployment script
|
2011-12-27 06:03:17 +00:00
|
|
|
$arch = $_GET['arch'];
|
|
|
|
|
$type = $_GET['type'];
|
|
|
|
|
|
2014-07-13 15:03:28 +00:00
|
|
|
$folder = 'https://downloads.sourceforge.net/project/filebot/filebot/FileBot_'.$version;
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'undefined';
|
2013-08-08 02:59:27 +00:00
|
|
|
|
|
|
|
|
if ($type == 'nsis') {
|
2014-07-13 15:03:28 +00:00
|
|
|
$folder = 'https://downloads.sourceforge.net/project/filebot/filebot/HEAD';
|
2013-08-08 02:59:27 +00:00
|
|
|
$file = 'FileBot-setup.exe';
|
|
|
|
|
} else if ($type == 'msi')
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'FileBot_'.$version.'_'.$arch.'.msi';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'deb')
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'filebot_'.$version.'_'.$arch.'.deb';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'app')
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'FileBot_'.$version.'.app.tar.gz';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'jar')
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'FileBot_'.$version.'.jar';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'portable')
|
2011-12-28 13:51:36 +00:00
|
|
|
$file = 'FileBot_'.$version.'-portable.zip';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'ipkg')
|
2012-05-08 01:23:32 +00:00
|
|
|
$file = 'filebot_'.$version.'_'.$arch.'.ipk';
|
2013-08-08 02:59:27 +00:00
|
|
|
else if ($type == 'src')
|
2011-12-27 06:03:17 +00:00
|
|
|
$file = 'filebot-'.$version.'-src.zip';
|
|
|
|
|
|
2013-04-24 08:14:22 +00:00
|
|
|
|
2012-12-12 19:34:16 +00:00
|
|
|
$downloadPage = $folder.'/'.$file.'/download';
|
2013-04-24 08:14:22 +00:00
|
|
|
|
|
|
|
|
header('HTTP/1.1 302 Found');
|
|
|
|
|
header('Location: '.$downloadPage);
|
2011-12-27 06:03:17 +00:00
|
|
|
?>
|
