diff -r 7e0cfc5f0944 -r 440763821484 src/Graphics.cc
--- a/src/Graphics.cc	Mon Dec 08 21:15:52 2008 +0000
+++ b/src/Graphics.cc	Mon Dec 08 21:18:08 2008 +0000
@@ -20,9 +20,10 @@
     update_timer.start();
 }
 
-void Graphics::check_input (TimeMS dt) {
+void Graphics::check_input (void) {
     LocalPlayer *player;
-    PlayerInput input_mask = 0;
+    PlayerInput input_mask;
+    TimeMS input_dt;
     
     // update gui flags
     this->flags = input.readGuiInput();
@@ -43,11 +44,11 @@
         player->printDebugInfo();
     
     // build input_mask
-    input_mask = input.readPlayerInput();
+    input.readPlayerInput(input_mask, input_dt);
     
     // apply input if there was any
     if (input_mask)
-        player->handleInput(input_mask, dt);
+        player->handleInput(input_mask, input_dt);
 }
 
 static PixelDimension value_between (PixelDimension low, PixelDimension value, PixelDimension high) {
@@ -91,8 +92,10 @@
 }
 
 void Graphics::on_update (TimeMS tick_length) {
+    (void) tick_length;
+
     // check keyboard input
-    check_input(tick_length);
+    check_input();
 
     // redraw display
     do_redraw();