From b043de552925610ba232c49401a31aba000670bf Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 17 Jun 2008 11:06:46 +0000
Subject: [PATCH] Handled undefined children in the gflib.js Fun.show()
 function.

This shouldn't really happen, but if it does, debugging is much easier.
---
 lib/javascript/gflib.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/javascript/gflib.js b/lib/javascript/gflib.js
index 6c5b77c66..15be18b3d 100644
--- a/lib/javascript/gflib.js
+++ b/lib/javascript/gflib.js
@@ -34,7 +34,7 @@ Fun.prototype.show = function (prec) {
 		var s = this.name;
 		var cs = this.args;
 		for (var i in cs) {
-			s += " " + cs[i].show(1);
+		        s += " " + (isUndefined(cs[i]) ? "undefined" : cs[i].show(1));
 		}
 		if (prec > 0 && cs.length > 0) {
 			s = "(" + s + ")" ;