From 31d6ec5af4940abfb6757ac0534128371677d625 Mon Sep 17 00:00:00 2001
From: incastrix <incastrix>
Date: Wed, 18 Mar 2009 00:22:43 +0000
Subject: [PATCH] fix #761 also see #762.

---
 .../phpeclipse/phpeditor/PHPSyntaxRdr.java         |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPSyntaxRdr.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPSyntaxRdr.java
index bea41d8..421eaf9 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPSyntaxRdr.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPSyntaxRdr.java
@@ -68,7 +68,7 @@ public class PHPSyntaxRdr {
 
 	private static IPreferenceStore store;
 
-	private static boolean hasXMLFileBeenRead = true;
+	//private static boolean hasXMLFileBeenRead = true;
 
 	// The following variable is used to hold the syntax from
 	// the suers custom file - if that file should be changed,
@@ -86,29 +86,29 @@ public class PHPSyntaxRdr {
 
 	public static void readInSyntax() {
 		try {
-			hasXMLFileBeenRead = true;
+//			hasXMLFileBeenRead = true;
 			/*
 			 * Attempt to read the syntax file from the metadata if this does
 			 * not work, create metadata from default
 			 */
-			File syntaxFile = getSyntaxFile();
+			/*File syntaxFile = getSyntaxFile();
 			if (syntaxFile.exists()) {
 				readFromFile(syntaxFile);
-			} else {
+			} else {*/
 				readFromStream(PHPSyntaxRdr.class
 						.getResourceAsStream(PHPSYNTAX_FILE));
-				saveToFile(syntaxFile);
-			}
+				//saveToFile(syntaxFile);
+			/*}*/
 			/* Read the user-defined syntax file if it exists */
 			// String buffer = new
 			// String(store.getString(PHPeclipsePlugin.PHP_USERDEF_XMLFILE));
-			if (store == null)
+			/*if (store == null)
 				store = PHPeclipsePlugin.getDefault().getPreferenceStore();
 			String buffer = new String(store
 					.getString(IPreferenceConstants.PHP_USERDEF_XMLFILE));
 			if (!(buffer.equals("") || buffer == null)) {
 				readFromFile(buffer);
-			}
+			}*/
 		} catch (CoreException ce) {
 			ce.printStackTrace();
 		}
-- 
1.7.1