Changeset 3e7db4 in git for Singular/links/silink.cc


Ignore:
Timestamp:
Dec 11, 2012, 7:33:39 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
14e634edb64741be0fbc04c9c89e8523cb0c1cc521dbb4186f3a2c56539d8f92abe1ee9e0fa0ae2c
Parents:
dcf88ff0bb046d73a7bde65e033fc58cbb5f4a97c9050082385152a64066f7540914cae34d990a43
Message:
Merge pull request #207 from kovzol/spielwiese

Adding new command line option --no-shell to prevent running escape shel...

NOTE: according to Hans we have to fix some more things in order to make this right
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/links/silink.cc

    rdcf88ff r3e7db4  
    3131#include <Singular/links/ssiLink.h>
    3232#include <Singular/links/pipeLink.h>
     33#include "feOpt.h"
    3334
    3435// #ifdef HAVE_DBM
    … …  
    196197
    197198    if (l->m == NULL) slInit(l, ((char*)""));
     199
     200    if (feOptValue(FE_OPT_NO_SHELL)) {WerrorS("no links allowed");return TRUE;}
    198201
    199202    const char *c="_";;
Note: See TracChangeset for help on using the changeset viewer.