----------------------------------------------------------- This is an automatically generated e-mail. To reply, visit: https://reviews.apache.org/r/5239/#review8119 -----------------------------------------------------------
Ship it! src/scripts/killtree.sh <https://reviews.apache.org/r/5239/#comment17641> is [[ ]] /bin/sh? I though double [[ was bash - John On 2012-05-25 20:43:36, Benjamin Hindman wrote: > > ----------------------------------------------------------- > This is an automatically generated e-mail. To reply, visit: > https://reviews.apache.org/r/5239/ > ----------------------------------------------------------- > > (Updated 2012-05-25 20:43:36) > > > Review request for mesos, John Sirois and Vinod Kone. > > > Summary > ------- > > See summary. > > > Diffs > ----- > > src/scripts/killtree.sh 3d89cbc > > Diff: https://reviews.apache.org/r/5239/diff > > > Testing > ------- > > > Thanks, > > Benjamin > >
