scripts/monitor in rvm-0.1.39 vs scripts/monitor in rvm-0.1.40

- old
+ new

@@ -1,16 +1,12 @@ #!/usr/bin/env bash -if [[ -z "$rvm_trace_flag" ]] ; then set +x ; else set -x ; fi - original_ruby_strings=$rvm_ruby_strings original_ruby_string=$rvm_ruby_string -source $rvm_scripts_path/rvm +source "$rvm_scripts_path/base" rvm_monitor_sleep="${rvm_monitor_sleep:-2}" - -trap "rm -f $rvm_tmp_path/$$* > /dev/null 2>&1 ; exit" 0 1 2 3 15 timestamp() { if [[ "Darwin" = "$(uname)" ]] ; then echo $(stat -f "%m" $1) else