This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--h = number of humans on the left | |
--g = number of giants on the left | |
--s = side (left/right) | |
left = 0 | |
right = 1 | |
valid_state (h, g, s) = | |
if (h >= 0) && (h <= 3) && (g >= 0) && (g <= 3) --number of people valid? | |
then not (((g > h) && (h>0)) || ((3-g > 3-h) && (3-h > 0))) --num of giant <= num of human |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import signal | |
import sys | |
def signal_term_handler(signal, frame): | |
print 'got SIGTERM' | |
sys.exit(0) | |
signal.signal(signal.SIGTERM, signal_term_handler) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
Anti MSN Spam plugin (for pidgin) | |
Author: Natt Piyapramote <nattster at googlemail dot com> | |
modified from message-filter.c written by Huy Phan <dachuy@gmail.com> | |
*/ | |
#ifdef HAVE_CONFIG_H | |
# include <config.h> | |
#endif |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0"?> | |
<!DOCTYPE fontconfig SYSTEM "fonts.dtd"> | |
<fontconfig> | |
<!-- | |
.fonts.conf | |
release 6.3.23 | |
================================ | |
LCD optimized 96 dpi | |
"Sharp'N'Clear" font settings |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2016-08-26 14:54:48,274: INFO : client requests: doc | |
2016-08-26 14:54:48,513: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,514: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,516: INFO : client requests: doc | |
2016-08-26 14:54:48,553: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,553: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,556: INFO : client requests: doc | |
2016-08-26 14:54:48,609: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,609: INFO : Incomming connection from '' | |
2016-08-26 14:54:48,617: INFO : client requests: autocomplete |