PGI SUSE Linux の lmgrd.rc の修正

SUSE Linux 9.x 上で生じるシステムリブート時の
FLEXlm マネージャの起動失敗への対策
以下は、PGI 5.2 の場合のファイル内容
（SUSE Linux のみに適用のこと）

オリジナル：lmgrd.rc の内容

      ------------------------------

      #! /bin/sh

      ##

      ## Copyright 1990-2000, The Portland Group, Incorporated.

      ## Copyright 2000-2002, STMicroelectronics, Incorporated.

      ## All rights reserved.

      ##

      ## STMICROELECTRONICS, INCORPORATED PROPRIETARY INFORMATION

      ## This software is supplied under the terms of a license agreement

      ## or nondisclosure agreement with STMicroelectronics and may not be

      ## copied or disclosed except in accordance with the terms of that

      ## agreement.

      ##

      # chkconfig: 2345 90 10

      # description: License manager for PGI compilers

      ## Where to find the PGI software?

      PGI=${PGI:-/usr/pgi}

      ## What target?

      case "`arch`" in

      x86_64 ) target=linux86-64 ;;

      * ) target=linux86 ;;

      esac

      ## Path to master daemon lmgrd

      LMGRD=$PGI/$target/5.2/bin/lmgrd

      ## Path to license file

      LM_LICENSE_FILE=$PGI/license.dat

      ## Command to stop lmgrd

      LMUTIL=$PGI/$target/5.2/bin/lmutil

      (以下、省略）

SUSE Linux の chkconfig への対応のための "INIT INFO" の追加
以下の赤字部分をオリジナルの lmgrd.rc ファイルへ挿入する

修正版 lmgrd.rc の内容

      -------------------------

      #! /bin/sh

      ##

      ## Copyright 1990-2000, The Portland Group, Incorporated.

      ## Copyright 2000-2002, STMicroelectronics, Incorporated.

      ## All rights reserved.

      ##

      ## STMICROELECTRONICS, INCORPORATED PROPRIETARY INFORMATION

      ## This software is supplied under the terms of a license agreement

      ## or nondisclosure agreement with STMicroelectronics and may not be

      ## copied or disclosed except in accordance with the terms of that

      ## agreement.

      ##

      # System startup script for the PGI-Flexlm daemon for SUSE

      #

      ### BEGIN INIT INFO

      # Provides: lmgrd-pgi

      # Required-Start: $network

      # Required-Stop: $network

      # Default-Start: 3 5

      # Default-Stop: 0 1 2 6

      # Description: Start the PGI FLEXlm daemon.

      ### END INIT INFO

      # chkconfig: 2345 90 10

      # description: License manager for PGI compilers

      ## Where to find the PGI software?

      PGI=${PGI:-/usr/pgi}

      ## What target?

      case "`arch`" in

      x86_64 ) target=linux86-64 ;;

      * ) target=linux86 ;;

      esac

      ## Path to master daemon lmgrd

      LMGRD=$PGI/$target/5.2/bin/lmgrd

      ## Path to license file

      LM_LICENSE_FILE=$PGI/license.dat

      ## Command to stop lmgrd

      LMUTIL=$PGI/$target/5.2/bin/lmutil

      (以下、省略）