Add advanced preference for refreshing push directory.

This commit is contained in:
Moxie Marlinspike
2014-02-23 15:12:40 -08:00
parent e188f62d70
commit ca2eecaedf
4 changed files with 57 additions and 2 deletions

View File

@@ -142,6 +142,8 @@ public class PushServiceSocket {
return response.getKeys();
} catch (JsonParseException e) {
throw new IOException(e);
} catch (NotFoundException nfe) {
throw new UnregisteredUserException(destination.getNumber(), nfe);
}
}
@@ -163,6 +165,8 @@ public class PushServiceSocket {
return response.getKeys().get(0);
} catch (JsonParseException e) {
throw new IOException(e);
} catch (NotFoundException nfe) {
throw new UnregisteredUserException(destination.getNumber(), nfe);
}
}