Index: scripts/checkin.php =================================================================== --- scripts/checkin.php (revision 5162) +++ scripts/checkin.php (working copy) @@ -41,6 +41,14 @@ exit( 1 ); } + # Override the username with the one passed on the command line - if any + if ($GLOBALS['argc'] > 1) { + $t_committer = $GLOBALS['argv'][1]; + + if (!is_blank( $t_committer ) && ( user_get_id_by_name( $t_committer ) != false ) ) + $t_username = $t_committer; + } + if ( !defined( "STDIN" ) ) { define("STDIN", fopen('php://stdin','r')); }