[Summary view] [Print] [Text view]

   1  #!/bin/bash
   2  
   3  ## $Id: refresh_cache_params.sh 5300 2010-02-25 00:09:51Z keyser $ ##
   4  #
   5  ##### actualisation du cache des parametres #####
   6  
   7  if [ "$1" = "--help" -o "$1" = "-h" ]
   8  then
   9      echo "actualisation du cache des parametres"
  10      echo "Usage : aucune option"
  11      exit
  12  fi
  13  
  14  /usr/share/se3/includes/config.inc.sh -clpbmsdf 
  15