Merge github.com:grpc/grpc into tis-but-thy-name

include/grpc/grpc.h

@@ -410,7 +410,9 @@ grpc_call *grpc_channel_create_registered_call(
    completion of type 'tag' to the completion queue bound to the call.
    The order of ops specified in the batch has no significance.
    Only one operation of each type can be active at once in any given
-   batch. 
+   batch. You must call grpc_completion_queue_next or
+   grpc_completion_queue_pluck on the completion queue associated with 'call'
+   for work to be performed.
    THREAD SAFETY: access to grpc_call_start_batch in multi-threaded environment
    needs to be synchronized. As an optimization, you may synchronize batches
    containing just send operations independently from batches containing just

tools/jenkins/run_jenkins.sh

@@ -73,15 +73,7 @@ then
   DOCKER_CID=`cat docker.cid`
   docker kill $DOCKER_CID
   docker cp $DOCKER_CID:/var/local/git/grpc/report.xml $git_root
-  if [ "$DOCKER_FAILED" == "" ]
+  docker rm $DOCKER_CID
-  then
-    echo "Docker finished successfully, deleting the container $DOCKER_CID"
-    docker rm $DOCKER_CID
-  else
-    echo "Docker exited with failure, keeping container $DOCKER_CID."
-    echo "You can SSH to the worker and use 'docker commit CID YOUR_IMAGE_NAME' and 'docker run -i -t YOUR_IMAGE_NAME bash' to debug the problem."
-    exit 1
-  fi
 
 elif [ "$platform" == "windows" ]
 then