tree a2928e5ac63788215467a3cc93e135acd9829acc
parent 9f3443c55c51562e22abb6b16c83cbe036dd2db4
author Jeff Brown <jeffbrown@google.com> 1362691273 -0800
committer Jeff Brown <jeffbrown@google.com> 1362691600 -0800

Enhance MediaRouter API.

The support library MediaRouter implementation needs a couple
of extra generally useful APIs in the platform MediaRouter to ensure
that it can safely synchronize its state.

Change-Id: I72c5652e10f3b6de48800abfa922affbefbd250f