Manual pneumatic tool changer

Hello all,

I am new here and I am converting my first machine to Linux cnc. 
It is a Deckel FP1 with servo motors, linear scales, and a 6000RPM spindle with pneumatic manual tool changer. The machine is lubricated with an electronic central lubrication. For operation I have a 22° touch monitor and an old Heidenhain control panel with buttons and emergency stop. 
The whole thing is controlled with a 7i94 / 7i83 / 7i84 / 7i85.
I have already got the axes and the spindle as well as the central lubrication running with lube.py. 
Now I'm currently stuck on the pneumatic tool changer. This is operated by a solenoid valve. This solenoid valve is connected to a 7i84. 
I would like to actuate the tool changer with a button that is also attached to the 7i84. so that this does not happen while the spindle is turning, I would like to lock the whole thing together in the hal. It is already ensured with relays that the solenoid valve does not switch when the spindle is on, but I want to secure it additionally in the Hal.
I have already tried it, but failed. Can someone help me here?
 
This is my input: hm2_7i94.0.7i84.0.0.input-14
And this is my output: hm2_7i94.0.7i84.0.0.output-04

Additionally i have attached my hal and ini file.

Thank you very much in advance.

[NOTE - I had this mostly typed up before seeing @Aciera's excellent response.  I'll post it in case it helps]

The HAL configuration will depend on what exact behavior you want to happen.

Behavior 1:
If you want the manual button to override the commanded spindle then connect your input pin signal to spindle.N.inhibit as well as the output solenoid.  The manual button will cause the spindle to stop.
The above works, but if the spindle is spinning when the manual button is pressed there is a delay during spindle decel when the air solenoid can activate.  Adding a timedelay based on your spindle decel time is one way to avoid a problem, but the timedelay will be active (and maybe annoying) every time you press the button - even if the spindle is stopped:
Behavior 2:
If you want the button to be unavailable while the spindle is rotating AND not permit the spindle to move once it's pressed I'd suggest using the VFD's zero-speed output with an AND2 component.

Don't forget to 'loadrt' and 'addf' any additional components like and2 or timedelay.

Thanks for your answer @Aciera
This solution looks promising, however I can't get it to work. I pasted your code into my HAL and also did loadrt' and 'addf' as noted by @spumco. Thanks

Now Linux cnc always throws me the following error message:
Debug file information:
Note: Using POSIX realtime
./deckelfp1.hal:336: Pin 'not.spindle-enable.0.in' does not exist
5107
Stopping realtime threads
Unloading hal components
Traceback (most recent call last):
  File "/home/deckelfp1/linuxcnc/lube.py", line 16, in <module>
    time.sleep(10) # run pump for 10s
    ^^^^^^^^^^^^^^
KeyboardInterrupt
Note: Using POSIX realtime


I have already tried with different spindle enable pins, but I can't find a solution. I also tried to omit the not. once in case this function is not loaded somehow, but I get the same error.
My next thought was to find out the exact pin I need for spindle on on my machine, but either I couldn't find the right one, (my question would be where to find it) or the problem is somewhere else.

I use Linux cnc version 2.9.0

I hope you can help me also here so competently. Thanks a lot
 

not.spindle-enable.0.in should probably be not.spindle_enable.in (underscore)

Assuming you did

loadrt not  names= not.spindle_enable
addf not.spindle_enable   servo-thread

I'm betting it's a dash-vs-underscore thing.

Thanks for the quick feedback. So quickly I do not come to all the proposals around and to answer the questions.
I have tried again, and have now arrived at another error. It does not find the module not.

However, in the described folder I can find the not.so.

I have attached the error report and the current HAL.

Thanks a lot

You load a 'not' called 'not.0', but then you are trying to use a named 'not' called 'not.spindle_enable'

​​​​Either define the 'not' as named

"loadrt not names=not.spindle_enable"

Or work with not.0 (no name)