Bug #80442 [Opn->Fbk]: Running maxima using exec results in segfault

From: Date: Sun, 29 Nov 2020 03:36:23 +0000
Subject: Bug #80442 [Opn->Fbk]: Running maxima using exec results in segfault
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-230704@lists.php.net to get a copy of this message 
Edit report at https://bugs.php.net/bug.php?id=80442&edit=1

 ID:                 80442
 Updated by:         requinix@php.net
 Reported by:        fadykamel902 at gmail dot com
 Summary:            Running maxima using exec results in segfault
-Status:             Open
+Status:             Feedback
 Type:               Bug
-Package:            Unknown/Other Function
+Package:            Program Execution
 Operating System:   Ubuntu 20.04
 PHP Version:        7.4.13
 Block user comment: N
 Private report:     N

 New Comment:

Thank you for this bug report. To properly diagnose the problem, we
need a backtrace to see what is happening behind the scenes. To
find out how to generate a backtrace, please read
http://bugs.php.net/bugs-generating-backtrace.php
for *NIX and
http://bugs.php.net/bugs-generating-backtrace-win32.php
for Win32

Once you have generated a backtrace, please submit it to this bug
report and change the status back to "Open". Thank you for helping
us make PHP better.

It's not clear from the description, but I assume the segfault is with PHP and not maxima?


Previous Comments:
------------------------------------------------------------------------
[2020-11-29 03:24:31] fadykamel902 at gmail dot com

Description:
------------
This used to work just fine in older versions of PHP/Ubuntu/Maxima

If I try to run maxima from php exec() I'll get a segmentation fault, no matter how simple the
input file is.

Test script:
---------------
<?php
   exec("/usr/bin/maxima -b /tmp/testInput.txt > /tmp/testOutput.txt");
   // replace /usr/bin/maxima with your maxima path
   // testInput.txt contains the text "1+1;"
?>

Actual result:
--------------
Segmentation fault


------------------------------------------------------------------------



--
Edit this bug report at https://bugs.php.net/bug.php?id=80442&edit=1

Thread (3 messages)

« previous php.bugs (#230704) next »