Funnelback patch 14.0.1.3

  • Released: 2015-02-26

  • Applies to: v14.0.0, v14.0.1

  • Internal reference: SUPPORT-1732

Description

Fixes a bug with Push collections where failure to merge indexes would consume all the disk space over time. Failed merges indexes are now deleted rather than being kept.

Affected files

  • lib/java/all/funnelback-push-core.jar: Delete failed merge indexes.

  • web/webapps/funnelback-push-api.war: Embeds the fixed JAR file above.

Deployment

  • Deploy the provided files on top of an existing installation.

  • Restart Jetty for the change to take effect.

  • As patches are cumulative, apply deployment instructions from previous patches.