kframework / kweb Goto Github PK

I can't create user(probably some other db functionality also broken) in my installation, which is created by directly copying instructions from the readme.

Here's the stack trace:

Traceback (most recent call last):
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1701, in __call__
    return self.wsgi_app(environ, start_response)
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1689, in wsgi_app
    response = self.make_response(self.handle_exception(e))
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1687, in wsgi_app
    response = self.full_dispatch_request()
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1360, in full_dispatch_request
    rv = self.handle_user_exception(e)
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1358, in full_dispatch_request
    rv = self.dispatch_request()
  File "/home/omer/K/kweb/flask/lib/python2.7/site-packages/flask/app.py", line 1344, in dispatch_request
    return self.view_functions[rule.endpoint](**req.view_args)
  File "/home/omer/K/kweb/app/views.py", line 34, in login
    return do_register(registerform)
  File "/home/omer/K/kweb/app/views.py", line 421, in do_register
    user.collections.extend(User.query.filter_by(email='default').first().collections)
AttributeError: 'AppenderBaseQuery' object has no attribute 'extend'

My guess is that it's caused by flask-login plugin .. Maybe if you can tell me your flask-login version we can add version number to that package too ...

I tried to create a new folder and took 10 seconds or so. Similarly when I created a file.

Seems to work fine on Chrome.

... and generalize frontend for multiple tools.

When using the K tool on KWeb, clicking a kompiled definition followed by a program neither autofills the krun box nor adds the appropriate ("-d") arguments to kompile.

Steps to reproduce:

• Chrome + Linux
• http://www.kframework.org/index.php/Lesson_1,_LAMBDA:_Syntax_Modules_and_Basic_K_Commands
• Click expand
• Click lambda.k
• Click any program under tests
• KRun box not autofilled

From Joel in IT:

Grigore,

Fslweb is back up and serving the website.  We are, unfortunately not in control of the network update schedule, but we do apologize for the outage.  That said, here is some technical information regarding what happened.

The logs were recording many messages of this form:

Oct 26 03:30:33 fslweb NetworkManager[1795]: <warn> error parsing timestamps file '/var/lib/NetworkManager/timestamps': Too many open files
Oct 26 03:30:33 fslweb NetworkManager[1795]: <warn> error saving timestamp: Failed to create file '/var/lib/NetworkManager/timestamps.F7ZEOX': Too many open files

Days and perhaps months prior to the outage.  This leads me to believe there was an issue already present that the network

Nov  1 05:40:40 fslweb NetworkManager[1795]: <warn> sysctl: failed to open '/proc/sys/net/ipv6/conf/eth0/accept_ra': (24) Too many open files
Nov  1 05:40:40 fslweb NetworkManager[1795]: <error> [1414838440.4364] [nm-device.c:3486] nm_device_update_ip4_address(): couldn't open control socket.
Nov  1 05:40:40 fslweb NetworkManager[1795]: <error> [1414838440.4476] [nm-system.c:771] nm_system_device_is_up_with_iface(): couldn't open control socket.
Nov  1 05:40:40 fslweb NetworkManager[1795]: <info> (eth0): bringing up device.

Is the time of the actual network outage.  You can see that it fails to come back up due to a lack of available file handles.  It then spams the same line repeatedly up until I restarted the machine this morning.

Nov  2 03:45:52 fslweb NetworkManager[1795]: <error> [1414921552.22183] [nm-system.c:771] nm_system_device_is_up_with_iface(): couldn't open control socket.

Checking the max open file handles, 1,620,366 is the number of files the system will open concurrently.  That's a million and a half open files.  From checking the backup stats on the machine it looks like the machine itself has almost 7 million files in just 115GB of space.  This leads me to believe that the issue that caused the machine to not come back up after the networking outage was the open files, not something directly related to the network.  I need to run to a meeting, but I'll provide additional information this afternoon.

Joel

Investigate possible syntax highlighting using emacs rules for K.

kompiling 1_k/1_lambda/lesson_1/lambda.k and then krunning 1_k/1_lambda/lesson_1/identity.lambda produces the following error.

Running command: krun identity.lambda [Error] Critical: Error while generating unique directory name:No space left on device ----- End of process output.

A quick check of the var partition on fslweb shows it to be full which may be the cause of this.

Clicking on the "Help" button for KRun doesn't produce any help message. The only thing it produces is the message "Running command: krun --help".

If I click on a language definition under the examples folder, kompile it, and then try to run a program under the tutorial folder, then the path to the K definition is not set in the kompile button. This problem appeared in yesterday's K meeting, where Andrei tried to run some imp programs using his new java rewrite engine, which requires a slightly modified definition of imp, found under the exmaples folder.

After Signing up for a kweb account and logging in, Sign Up button still appears and, when clicked, takes the user to http://fsl.cs.uiuc.edu/index.php/Main_Page

The following is currently broken in kweb due to K options handling:

• Users cannot kompile or krun files without entering the filenames in the parameters box (will default to open file).

Whether this impacts usability is unclear (I don't remember why we originally added this feature). I will however leave this as an open issue.

Running command: kompile bf.k
java.io.FileNotFoundException: /srv/kweb/kfiles/default/samples/bf/bf-kompiled/def/Concrete.sdf (No such file or directory)
at java.io.FileOutputStream.open(Native Method)
at java.io.FileOutputStream.(Unknown Source)
at java.io.FileOutputStream.(Unknown Source)
at org.kframework.parser.utils.ResourceExtractor.Extract(ResourceExtractor.java:10)
at org.kframework.parser.utils.ResourceExtractor.ExtractDefSDF(ResourceExtractor.java:24)
at org.kframework.parser.DefinitionLoader.parseDefinition(DefinitionLoader.java:147)
at org.kframework.parser.DefinitionLoader.loadDefinition(DefinitionLoader.java:81)
at org.kframework.kompile.KompileFrontEnd.genericCompile(KompileFrontEnd.java:289)
at org.kframework.kompile.KompileFrontEnd.kompile(KompileFrontEnd.java:262)
at org.kframework.main.Main.main(Main.java:49)
java.io.FileNotFoundException: /srv/kweb/kfiles/default/samples/bf/bf-kompiled/defx-maude.bin (No such file or directory)
at java.io.FileOutputStream.open(Native Method)
at java.io.FileOutputStream.(Unknown Source)
at java.io.FileOutputStream.(Unknown Source)
at org.kframework.utils.BinaryLoader.save(BinaryLoader.java:11)
at org.kframework.parser.DefinitionLoader.loadDefinition(DefinitionLoader.java:83)
at org.kframework.kompile.KompileFrontEnd.genericCompile(KompileFrontEnd.java:289)
at org.kframework.kompile.KompileFrontEnd.kompile(KompileFrontEnd.java:262)
at org.kframework.main.Main.main(Main.java:49)
java.lang.NullPointerException
at org.kframework.kompile.KompileFrontEnd.genericCompile(KompileFrontEnd.java:290)
at org.kframework.kompile.KompileFrontEnd.kompile(KompileFrontEnd.java:262)
at org.kframework.main.Main.main(Main.java:49)
java.io.FileNotFoundException: /srv/kweb/kfiles/default/samples/bf/bf-kompiled/compile-options.bin (No such file or directory)
at java.io.FileOutputStream.open(Native Method)
at java.io.FileOutputStream.(Unknown Source)
at java.io.FileOutputStream.(Unknown Source)
at org.kframework.utils.BinaryLoader.save(BinaryLoader.java:11)
at org.kframework.kompile.KompileFrontEnd.kompile(KompileFrontEnd.java:263)
at org.kframework.main.Main.main(Main.java:49)
----- End of process output.

I just tried to type a simple program in the original kweb window to demonstrate K, and it gave me an error saying that no file has been selected. We need something better there.

The temporary folder -kompiled is grayed out, which is good, but I canot remove it, which is not good. For example, I may have various versions of the same language in the same folder, and in order to kompile one I need to remove the temporary folder of another.

Pick any lesson in the tutorial, say lesson_6 under 1_lambda in 1_k. Then click on [Expand] for the kweb interface. As you can see, the menu does not open precisely where lesson_6 starts; I have to scroll up to see the actual files in the selected folder. We had a similar problem before, but I thought it was fixed.

I tried using both Safari and Chrome on a mac.

I just had to kill two 20+ hour running Java processes, a previously unseen kweb bug. Could this be a change in kweb / k behavior or rare fluke? Reinvestigate timeout process closure and make sure processes are guaranteed to close each time.

Has to do with body's onclick method triggering during a touch event and wiping all the menus. Possible solution is not to activate right click navigation on touch-enabled devices.