jenkins-bot has submitted this change and it was merged.
Change subject: Better way to get the real username
......................................................................
Better way to get the real username
Change-Id: I72d6a54c34770f6032179a2c95d2e6752ab2f5f0
---
M bin/udpcast
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/udpcast b/bin/udpcast
index 8af5cdb..6b73535 100755
--- a/bin/udpcast
+++ b/bin/udpcast
@@ -4,4 +4,6 @@
DIRSCRIPT="`dirname \"$0\"`"
DIRSCRIPT="`( cd \"$DIRSCRIPT\" && pwd )`"
-php ${DIRSCRIPT}/scripts/snedUdpMessage.php --host=127.0.0.1 --port=8966
--quiet=1 \[`whoami`\] $@
+WHO=${SUDO_USER-$USER}
+
+php ${DIRSCRIPT}/scripts/snedUdpMessage.php --host=127.0.0.1 --port=8966
--quiet=1 \[$WHO\] $@
--
To view, visit https://gerrit.wikimedia.org/r/189241
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I72d6a54c34770f6032179a2c95d2e6752ab2f5f0
Gerrit-PatchSet: 2
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits