From dfcdee7637c1a8858e719206e77e1bb0dd99b2b7 Mon Sep 17 00:00:00 2001
From: calzoneman <calzoneman@gmail.com>
Date: Sun, 18 Aug 2013 12:49:54 -0500
Subject: [PATCH] Fix user.js crash

---
 user.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/user.js b/user.js
index 51422abd..a634064a 100644
--- a/user.js
+++ b/user.js
@@ -13,6 +13,7 @@ var Rank = require("./rank.js");
 var Channel = require("./channel.js").Channel;
 var formatTime = require("./media.js").formatTime;
 var Logger = require("./logger.js");
+var $util = require("./utilities");
 
 // Represents a client connected via socket.io
 var User = function(socket, Server) {