File: run.pl

package info (click to toggle)
polymake 4.14-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 35,888 kB
  • sloc: cpp: 168,933; perl: 43,407; javascript: 31,575; ansic: 3,007; java: 2,654; python: 632; sh: 268; xml: 117; makefile: 61
file content (43 lines) | stat: -rw-r--r-- 1,302 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#  Copyright (c) 1997-2024
#  Ewgenij Gawrilow, Michael Joswig, and the polymake team
#  Technische Universität Berlin, Germany
#  https://polymake.org
#
#  This program is free software; you can redistribute it and/or modify it
#  under the terms of the GNU General Public License as published by the
#  Free Software Foundation; either version 2, or (at your option) any
#  later version: http://www.gnu.org/licenses/gpl.txt.
#
#  This program is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#  GNU General Public License for more details.
#-------------------------------------------------------------------------------

use strict;

do "client.pl";

if (readlink("/proc/self/fd/0") eq "/dev/null") {
   push @ARGV, "</dev/null";
}
if (readlink("/proc/self/fd/1") eq "/dev/null") {
   push @ARGV, ">/dev/null";
}
if (readlink("/proc/self/fd/2") eq "/dev/null") {
   push @ARGV, "2>/dev/null";
}

foreach (@ARGV) {
   if (/ / && !/^(['"]).+\1$/) {
      $_="'$_'";
   }
}

my $response=Polymake::HostAgent::call("run", @ARGV);
if ($response =~ /^ERROR/) {
   print STDERR $response;
   exit(1);
} elsif ($response =~ /^(\d+)$/) {
   exit($1 & 127 ? 1 : $1 >> 8);
}