Message Area
Casually read the BBS message area using an easy to use interface. Messages are categorized exactly like they are on the BBS. You may post new messages or reply to existing messages!

You are not logged in. Login here for full access privileges.

Previous Message | Next Message | Back to General discussion on Husky Soft...  <--  <--- Return to Home Page
   Networked Database  General discussion on Husky Soft...   [116 / 150] RSS
 From   To   Subject   Date/Time 
Message   Wilfred van Velzen    Benny Pedersen   Re: bash script blocking multi toss   January 16, 2017
 9:44 AM *  

Hi Benny,

On 2017-01-16 02:47:22, you wrote to All:

 BP> model:

 BP> if bash-lock-file exists
 BP>   do nothing
 BP> else
 BP>   create bash-lock-file
 BP>   do hpt
 BP>   do htick
 BP>   delete bash-lock-file
 BP> endif

Your model is wrong! The checking and creating of the lock file should be one
atomic operation!

So use:

if create bash-lock-file succeeds
  do hpt
  do htick
  delete bash-lock-file
else
  do nothing
endif

Most distributions have a command for that. For instance 'lockfile'.

Bye, Wilfred.

--- FMail-W32 1.73.12.64-B20170112
 * Origin: FMail development HQ (2:280/464)
  Show ANSI Codes | Hide BBCodes | Show Color Codes | Hide Encoding | Hide HTML Tags | Show Routing
Previous Message | Next Message | Back to General discussion on Husky Soft...  <--  <--- Return to Home Page

VADV-PHP
Execution Time: 0.0828 seconds

If you experience any problems with this website or need help, contact the webmaster.
VADV-PHP Copyright © 2002-2024 Steve Winn, Aspect Technologies. All Rights Reserved.
Virtual Advanced Copyright © 1995-1997 Roland De Graaf.
v2.0.140505

Warning: Unknown: open(c:\Sessions\sess_8pd20gba6muj733gltvd5cljj5, O_RDWR) failed: No such file or directory (2) in Unknown on line 0 Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (c:\Sessions) in Unknown on line 0 PHP Warning: session_start(): open(c:\Sessions\sess_8pd20gba6muj733gltvd5cljj5, O_RDWR) failed: No such file or directory (2) in D:\wc5\http\public\VADV\include\common.inc.php on line 45 PHP Warning: Unknown: open(c:\Sessions\sess_8pd20gba6muj733gltvd5cljj5, O_RDWR) failed: No such file or directory (2) in Unknown on line 0 PHP Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (c:\Sessions) in Unknown on line 0