added license GPL

[winnie] / src / fbdev / keyboard.cc

diff --git a/src/fbdev/keyboard.cc b/src/fbdev/keyboard.cc
index 625647f..d1d5077 100644 (file)
--- a/src/fbdev/keyboard.cc
+++ b/src/fbdev/keyboard.cc
@@ -1,3 +1,24 @@
+/*
+winnie - an experimental window system
+
+Copyright (C) 2013 Eleni Maria Stea
+
+This program is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+Author: Eleni Maria Stea <elene.mst@gmail.com>
+*/
+
 #ifdef WINNIE_FBDEV
 #include <errno.h>
 #include <stdio.h>
@@ -10,6 +31,7 @@
 #include <unistd.h>
 
 #include "keyboard.h"
+#include "shalloc.h"
 #include "window.h"
 #include "wm.h"
 
@@ -22,7 +44,7 @@ static Keyboard *keyboard;
 
 bool init_keyboard()
 {
-       if(!(keyboard = (Keyboard*)malloc(sizeof *keyboard))) {
+       if(!(keyboard = (Keyboard*)sh_malloc(sizeof *keyboard))) {
                return false;
        }
 
@@ -80,7 +102,7 @@ void destroy_keyboard()
                keyboard->dev_fd = -1;
        }
 
-       free(keyboard);
+       sh_free(keyboard);
 }
 
 int get_keyboard_fd()