summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorJonathan Kew <jfkthame@googlemail.com>2008-05-28 11:45:08 +0000
committerJonathan Kew <jfkthame@googlemail.com>2008-05-28 11:45:08 +0000
commit978976300a61c63fadab8703c135e9028f5c231a (patch)
treea09e6f1a7379e4375a1ee8af37e43f7770d2d19d /Build
parent4951ed1c8ce93816cd8c895e97115b0df15e7979 (diff)
fix synctex crash when page # out of range
git-svn-id: svn://tug.org/texlive/trunk@8382 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r--Build/source/texk/web2c/synctex/synctex_parser.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctex/synctex_parser.c b/Build/source/texk/web2c/synctex/synctex_parser.c
index 91764a2324c..afa3d2aac51 100644
--- a/Build/source/texk/web2c/synctex/synctex_parser.c
+++ b/Build/source/texk/web2c/synctex/synctex_parser.c
@@ -2764,7 +2764,7 @@ int synctex_edit_query(synctex_scanner_t scanner,int page,float h,float v) {
free(SYNCTEX_START);
SYNCTEX_START = SYNCTEX_END = SYNCTEX_CUR = NULL;
sheet = scanner->sheet;
- while(SYNCTEX_INFO(sheet)[PAGE].INT != page) {
+ while(sheet != NULL && SYNCTEX_INFO(sheet)[PAGE].INT != page) {
sheet = SYNCTEX_SIBLING(sheet);
}
if(NULL == sheet) {