diff options
| author | Erich Eckner <git@eckner.net> | 2018-11-14 11:43:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-11-14 11:43:19 +0100 |
| commit | 8ed04a16ca80e46da3aecc41a0a55d2fa4f6e6f0 (patch) | |
| tree | 152dbcd5621cb0cf6680b3f4f6b0681c21e02e50 | |
| parent | eecaefdf18f99d8a1ef217ae5a535d54138eaf8d (diff) | |
| download | archive-server-8ed04a16ca80e46da3aecc41a0a55d2fa4f6e6f0.tar.xz | |
httpdocs/index.php: fix typo
| -rw-r--r-- | httpdocs/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/httpdocs/index.php b/httpdocs/index.php index 2e4df12..e20fcc4 100644 --- a/httpdocs/index.php +++ b/httpdocs/index.php @@ -95,7 +95,7 @@ if (isset($_GET['r'])) { } if ($_GET['t']=='git') $handle = popen( - 'git -C "' . $wok_dir . 'repositories/' . $_GET['t'] . '/' . $_GET['r'] . '"' . + 'git -C "' . $work_dir . 'repositories/' . $_GET['t'] . '/' . $_GET['r'] . '"' . ' archive' . $prefix . ' "' . $commit_identifier . '" | ' . |