<?php

  /*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  require_once("kode_settings.php");
  if (1) {
      @unlink($set_config_file_path);
      @unlink($set_install_lockfile_path);

      echo "Configuration file and installation lock file has been removed.";
  }
?>