X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fhtml.c;h=42d818b519f908004e0eb876cdfc089ffd53a67b;hb=ecd77539d8be24ba673becc0f25bb453f4e2944d;hp=c647f34b5726cd86f71281a6772118d38d962081;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/html.c b/src/html.c
index c647f34b57..42d818b519 100644
--- a/src/html.c
+++ b/src/html.c
@@ -174,10 +174,6 @@ html_option (struct outp_driver *this, const char *key, const struct string *val
 	*dest = xstrdup (ds_value (val));
       }
       break;
-#if __CHECKER__
-    case 42000:
-      assert (0);
-#endif
     default:
       assert (0);
     }
@@ -556,18 +552,19 @@ output_tab_table (struct outp_driver *this, struct tab_table *t)
 	    strcpy (cp, ">");
 	    fputs (header, x->file.file);
 	    
-	    {
-	      char *s = ls_value (cc);
-	      size_t l = ls_length (cc);
-
-	      while (l && isspace ((unsigned char) *s))
-		{
-		  l--;
-		  s++;
-		}
+	    if ( ! (*ct & TAB_EMPTY)  ) 
+	      {
+		char *s = ls_value (cc);
+		size_t l = ls_length (cc);
+
+		while (l && isspace ((unsigned char) *s))
+		  {
+		    l--;
+		    s++;
+		  }
 	      
-	      escape_string (x->file.file, s, l);
-	    }
+		escape_string (x->file.file, s, l);
+	      }
 
 	    fprintf (x->file.file, "</T%c>\n", tag);
 	  }