From a996c374a6e7782e3b934edb3cc316c059af6ab8 Mon Sep 17 00:00:00 2001
From: Andreas Schildbach <andreas@schildbach.de>
Date: Fri, 12 Jul 2013 10:37:40 +0200
Subject: [PATCH] Zero sequence number means session expired

---
 enabler/src/de/schildbach/pte/AbstractHafasProvider.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/enabler/src/de/schildbach/pte/AbstractHafasProvider.java b/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
index 2542ff2b..24efe9a8 100644
--- a/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
+++ b/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
@@ -1679,7 +1679,9 @@ public abstract class AbstractHafasProvider extends AbstractNetworkProvider
 				is.skipBytes(extensionHeaderPtr + 0x8);
 
 				final int seqNr = is.readShortReverse();
-				if (seqNr <= 0)
+				if (seqNr == 0)
+					throw new SessionExpiredException();
+				else if (seqNr < 0)
 					throw new IllegalStateException("illegal sequence number: " + seqNr);
 
 				final String requestId = strings.read(is);