Skip to content

Tag: server

fixing the path so python can recognize z3 modules

I have successfully installed z3 on a remote server where I am not root. when I try to run my python code I get : I understand that I have to add it to PYTHONPATH in order to work and so I went ahead and done that like this: export PYTHONPATH=$HOME/usr/lib/python-2.7/site-packages:$PYTHONPATH I still get the …

epoll: must I use multi-threading

I’ve got a basic knowledge from here about epoll. I know that epoll can monitor multiple FDs and handle them. My question is: can a heavy event block the server so I must use multithreading? For example, the epoll of a server is monitoring 2 sockets A and B. Now A starts to send lot of messages to the s…

Permission denied. Laravel linux server

when i try to register and send an email to the user i got this error. It was working till yesterday. From today it gives me this and i cant figure out why. By the way on local testing this work’s. I’m stuck. Help please Answer I cannot comment because I have joined stackoverflow recently and I do…