Dave Borowitz c05d8a705c ResourceServlet: Fix refreshing stale resources ...

In 74317d4a, the r.isStale call got incorrectly hidden behind an
r == null check, resulting in the resource not getting refreshed if it
was previously cached.

Move the r.isStale call up one level so resources are refreshed
correctly.

Change-Id: I995e9794b3549a324e2d427af3c0befd73768294

2015-11-24 16:35:44 -05:00

..

src

ResourceServlet: Fix refreshing stale resources

2015-11-24 16:35:44 -05:00

BUCK

Serve GWT UI from ResourceServlet

2015-11-09 14:47:26 -05:00