Fix empty arguments on launcher rerun after git pull
authorPhilipp Daniels <phaldan@users.noreply.github.com>
Sat, 8 Oct 2016 23:57:54 +0000 (01:57 +0200)
committerGitHub <noreply@github.com>
Sat, 8 Oct 2016 23:57:54 +0000 (01:57 +0200)
commit8100fab05d12d56c8204b467f4b68811b8c0c796
tree82608a2eebe607764d9b734915ac442c5aec8781
parentc857317971f796798615180ea558ec08269b046c
Fix empty arguments on launcher rerun after git pull

Variable $@ cannot be used to get arguments for launcher rerun, because the usage of the shift (line 44) command has removed all entries from $@. Instead $BASH_ARGV can be used, but $BASH_ARGV contains arguments in reversed order.
launcher