<?php
   function handle_msg() {
      $msg = func_get_arg(0);
      print('<div style="background:yellow;border:1px solid black;padding:2px;font-weight:bold;display:inline-block;">'."\n");
      print('<p style="float:left;padding:5px;">'."\n");
      print($msg);
      print("</p>\n");
      print("</div>\n");
      print('<br clear="both">'."\n");
   }

   function handle_err() {
      $msg = func_get_arg(0);
      handle_msg($msg);
      if (func_num_args() == 2) {
         print("</p>\n");
         print("</div>\n");
         $link = func_get_arg(1);
         mysqli_close($link);
      }
      exit;
   }

   function get_param($param, $link) {
      if ( isset($_POST[$param]) &&
           $_POST[$param] != 'null' &&
           !preg_match('/^\s*$/',$_POST[$param])) {
         return mysqli_real_escape_string($link, $_POST[$param]);
      } else if ( isset($_GET[$param]) &&
           $_GET[$param] != 'null' &&
           !preg_match('/^\s*$/',$_GET[$param])) {
         return mysqli_real_escape_string($link, $_GET[$param]);
      } else {
         return null;
      }
   }

   function get_file($file_name, $link) {
      if (isset($_FILES[$file_name])) {

         error_reporting(E_ERROR);
         if (!$_FILES[$file_name]['error']) {
            $upload_filename = $_FILES[$file_name]['tmp_name'];
            handle_msg("Trying to transfer file $upload_filename\n");
            handle_msg("Size of file is " . filesize($upload_filename));
            // handle_msg("Name of file is " . $_FILES[$file_name]['name']);

            // $finfo = finfo_open(FILEINFO_MIME_TYPE);
            // $file_mime = finfo_file($finfo, $_FILES[$file_name]['name']);
            // handle_msg("Mime-type of file is " . $file_mime);

            $file_bytes = mysqli_real_escape_string(
               $link, fread(fopen($upload_filename, "r"), 10000000));
            handle_msg("number of bytes in file is " . strlen($file_bytes));
            return $file_bytes;
         } else {
            handle_msg($_FILES[$file_name]['name']. " had trouble uploading.\n");
            return null;
         }

         handle_msg($_FILES[$file_name]['name'] . " got thru\n");
      } else {
         handle_msg("No upload file for instrument specified.\n");
         return null;
      }
   }

   function get_file_name($file_name) {
      if (isset($_FILES[$file_name]) &&
          !$_FILES[$file_name]['error']) {
         return $_FILES[$file_name]['name'];
      } else {
         return null;
      }
   }

   function get_file_mime_type($file_name) {
      if (isset($_FILES[$file_name]) &&
          !$_FILES[$file_name]['error']) {
            $f = $_FILES[$file_name]['tmp_name'];
         return trim(
            exec('/usr/bin/file -b --mime-type ' .
               escapeshellarg($f)));
      } else {
         return 'application/octet-stream';
      }
   }
?>