Method readHeader

ij/src/main/java/ij/plugin/GIF_Reader.java:512–526

Reads GIF file header information.

()

	 * Reads GIF file header information.
	 */
	private void readHeader() {
		String id = "";
		for (int i = 0; i < 6; i++)
			id += (char) read();
		if (!id.startsWith("GIF")) {
			status = STATUS_FORMAT_ERROR;
			 return;
		}

		readLSD();
		if (gctFlag && !err()) {
			gct = readColorTable(gctSize);
			bgColor = gct[bgIndex];
		}
	}


	/**